bors 29181b3f0c Auto merge of #37717 - nikomatsakis:region-obligations-pre, r=eddyb ...

Refactoring towards region obligation

Two refactorings towards the intermediate goal of propagating region obligations through the `InferOk` structure (which in turn leads to the possibility of lazy normalization).

1. Remove `TypeOrigin` and add `ObligationCause`
    - as we converge subtyping and obligations and so forth, the ability to keep these types distinct gets harder
2. Propagate obligations from `InferOk` into the surrounding fulfillment context

After these land, I have a separate branch (which still needs a bit of work) that can make the actual change to stop directly adding subregion edges and instead propagate obligations. (This should also make it easier to fix the unsoundness in specialization around lifetimes.)

r? @eddyb

2016-11-17 01:18:51 -08:00

..

Cargo.toml

Add rustc_data_structures to rustc_driver dependencies.

2016-10-30 19:14:18 -04:00

derive_registrar.rs

…

driver.rs

don't build an object file for emit=asm,llvm-ir

2016-11-14 03:37:46 -05:00

lib.rs

rustc_typeck: correctly track "always-diverges" and "has-type-errors".

2016-11-10 01:44:53 +02:00

pretty.rs

rustc: use an Expr instead of a Block for function bodies.

2016-11-10 01:44:45 +02:00

target_features.rs

rustc: Implement #[link(cfg(..))] and crt-static

2016-11-16 07:00:09 -08:00

test.rs

remove TypeOrigin and use ObligationCause instead

2016-11-15 16:12:41 -05:00