Mazdak Farrokhzad 1fe86f47d8

Rollup merge of #69745 - estebank:predicate-obligations-3, r=nikomatsakis,eddyb ...

Use `PredicateObligation`s instead of `Predicate`s

Keep more information about trait binding failures. Use more specific spans by pointing at bindings that introduce obligations.

Subset of #69709.

r? @eddyb

2020-04-10 18:15:16 +02:00

..

traits

Rollup merge of #69745 - estebank:predicate-obligations-3, r=nikomatsakis,eddyb

2020-04-10 18:15:16 +02:00

Cargo.toml

rustc -> rustc_middle part 1

2020-03-30 07:02:56 +02:00

infer.rs

replace has_local_value with needs_infer

2020-04-08 23:34:09 +02:00

lib.rs

rustc -> rustc_middle part 2

2020-03-30 07:16:56 +02:00

opaque_types.rs

Use PredicateObligations instead of Predicates

2020-04-08 14:40:45 -07:00