Revert previous attempt at detecting unsatisfiable predicates

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

diff --git a/src/librustc/traits/wf.rs b/src/librustc/traits/wf.rs
index 551f8fde12b18cf4030e7257d6fe80cbbe0f9149..2301395f557f13d0d9b1ce2c123175c8039940db 100644 (file)
--- a/src/librustc/traits/wf.rs
+++ b/src/librustc/traits/wf.rs
@@ -359,7 +359,9 @@ fn compute_projection(&mut self, data: ty::ProjectionTy<'tcx>) {
     /// Pushes the obligations required for an array length to be WF
     /// into `self.out`.
     fn compute_array_len(&mut self, constant: ty::Const<'tcx>) {
-        if let ty::ConstKind::Unevaluated(def_id, substs) = constant.val {
+        if let ty::ConstKind::Unevaluated(def_id, substs, promoted) = constant.val {
+            assert!(promoted.is_none());
+
             let obligations = self.nominal_obligations(def_id, substs);
             self.out.extend(obligations);