Inline Predicate::has_vars_bound_at_or_above

2022-07-15 00:00:00 +00:00 · 2022-07-15 00:00:00 +00:00 · 0e6251dcde
commit 0e6251dcde
parent bb73f171e5
1 changed files with 1 additions and 0 deletions
--- a/compiler/rustc_middle/src/ty/structural_impls.rs
+++ b/compiler/rustc_middle/src/ty/structural_impls.rs
@ -1122,6 +1122,7 @@ impl<'tcx> TypeVisitable<'tcx> for ty::Predicate<'tcx> {
        visitor.visit_predicate(*self)
    }

+    #[inline]
    fn has_vars_bound_at_or_above(&self, binder: ty::DebruijnIndex) -> bool {
        self.outer_exclusive_binder() > binder
    }