Revert previous attempt at detecting unsatisfiable predicates

[rust.git] / src / librustc / traits / fulfill.rs

diff --git a/src/librustc/traits/fulfill.rs b/src/librustc/traits/fulfill.rs
index b0b6994945c5f21a4a4df54e74567ae03057d337..46ece6fc4059364039f0d72d885d6411476a39b3 100644 (file)
--- a/src/librustc/traits/fulfill.rs
+++ b/src/librustc/traits/fulfill.rs
@@ -515,6 +515,7 @@ fn infer_ty(ty: Ty<'tcx>) -> ty::InferTy {
                             obligation.param_env,
                             def_id,
                             substs,
+                            None,
                             Some(obligation.cause.span),
                         ) {
                             Ok(_) => ProcessResult::Changed(vec![]),