From bd7ea5441ec6e447d8dae1e69de7ef4320a2aa4e Mon Sep 17 00:00:00 2001 From: Esteban Küber Date: Tue, 3 Mar 2020 15:07:04 -0800 Subject: Use `PredicateObligation`s instead of `Predicate`s Keep more information about trait binding failures. --- src/librustc_mir/transform/const_prop.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/librustc_mir') 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; -- cgit 1.4.1-3-g733a5