diff options
| author | Tomasz Miąsko <tomasz.miasko@gmail.com> | 2022-07-15 00:00:00 +0000 |
|---|---|---|
| committer | Tomasz Miąsko <tomasz.miasko@gmail.com> | 2022-07-22 17:00:49 +0200 |
| commit | 0e6251dcded57a5927fca4c9198a96964b8d6696 (patch) | |
| tree | f62d06096de24359b45fe0c6c9d9695616e489bb | |
| parent | bb73f171e5b3bed7c611cf8818fd477c1f7ecaeb (diff) | |
| download | rust-0e6251dcded57a5927fca4c9198a96964b8d6696.tar.gz rust-0e6251dcded57a5927fca4c9198a96964b8d6696.zip | |
Inline `Predicate::has_vars_bound_at_or_above`
| -rw-r--r-- | compiler/rustc_middle/src/ty/structural_impls.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_middle/src/ty/structural_impls.rs b/compiler/rustc_middle/src/ty/structural_impls.rs index a4be3d02d19..1f1f80ed618 100644 --- 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 } |