diff options
| author | Esteban Küber <esteban@kuber.com.ar> | 2020-03-03 15:07:04 -0800 |
|---|---|---|
| committer | Esteban Küber <esteban@kuber.com.ar> | 2020-04-08 14:40:45 -0700 |
| commit | bd7ea5441ec6e447d8dae1e69de7ef4320a2aa4e (patch) | |
| tree | ee02aacbe98954838effb64a4d3929cec7f76be9 /src/librustc_mir | |
| parent | 485c5fb6e1bf12cd11a8fac5ee94962e17cff74b (diff) | |
| download | rust-bd7ea5441ec6e447d8dae1e69de7ef4320a2aa4e.tar.gz rust-bd7ea5441ec6e447d8dae1e69de7ef4320a2aa4e.zip | |
Use `PredicateObligation`s instead of `Predicate`s
Keep more information about trait binding failures.
Diffstat (limited to 'src/librustc_mir')
| -rw-r--r-- | src/librustc_mir/transform/const_prop.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustc_mir/transform/const_prop.rs b/src/librustc_mir/transform/const_prop.rs index 25719d037f9..5a00f206a76 100644 --- a/src/librustc_mir/transform/const_prop.rs +++ b/src/librustc_mir/transform/const_prop.rs @@ -126,7 +126,7 @@ impl<'tcx> MirPass<'tcx> for ConstProp { .collect(); if !traits::normalize_and_test_predicates( tcx, - traits::elaborate_predicates(tcx, predicates).collect(), + traits::elaborate_predicates(tcx, predicates).map(|o| o.predicate).collect(), ) { trace!("ConstProp skipped for {:?}: found unsatisfiable predicates", source.def_id()); return; |