Auto merge of #32780 - soltanmm:consider-the-following, r=nikomatsakis

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

diff --git a/src/librustc/ty/wf.rs b/src/librustc/ty/wf.rs
index 9ea634bb41c1b13d37a91b972b5a7e1d98348f40..f93332e07737d52bd787f9e9062a39d77b9c8fe8 100644 (file)
--- a/src/librustc/ty/wf.rs
+++ b/src/librustc/ty/wf.rs
@@ -92,6 +92,8 @@ pub fn predicate_obligations<'a,'tcx>(infcx: &InferCtxt<'a, 'tcx>,
         }
         ty::Predicate::ObjectSafe(_) => {
         }
+        ty::Predicate::ClosureKind(..) => {
+        }
     }
 
     wf.normalize()
@@ -155,6 +157,7 @@ pub fn implied_bounds<'a,'tcx>(
                     ty::Predicate::Trait(..) |
                     ty::Predicate::Equate(..) |
                     ty::Predicate::Projection(..) |
+                    ty::Predicate::ClosureKind(..) |
                     ty::Predicate::ObjectSafe(..) =>
                         vec![],