diff options
| author | Jana Dönszelmann <jana@donsz.nl> | 2025-10-01 16:11:21 +0200 |
|---|---|---|
| committer | Jana Dönszelmann <jana@donsz.nl> | 2025-10-01 16:11:59 +0200 |
| commit | 96fb1b3b559ccc8ed051c95fa5385f9ba4030a01 (patch) | |
| tree | a12498d082c0dd8167fd3669a38057c1bf07fb48 /compiler | |
| parent | 422f6bb7420e1f1fe1cd920ed0c6b22f5042ae35 (diff) | |
| download | rust-96fb1b3b559ccc8ed051c95fa5385f9ba4030a01.tar.gz rust-96fb1b3b559ccc8ed051c95fa5385f9ba4030a01.zip | |
include outer_inclusive_binder of pattern types
Diffstat (limited to 'compiler')
| -rw-r--r-- | compiler/rustc_type_ir/src/flags.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_type_ir/src/flags.rs b/compiler/rustc_type_ir/src/flags.rs index 24704c5bb53..ea3903d401e 100644 --- a/compiler/rustc_type_ir/src/flags.rs +++ b/compiler/rustc_type_ir/src/flags.rs @@ -347,6 +347,7 @@ impl<I: Interner> FlagComputation<I> { fn add_ty_pat(&mut self, pat: <I as Interner>::Pat) { self.add_flags(pat.flags()); + self.add_exclusive_binder(pat.outer_exclusive_binder()); } fn add_predicate(&mut self, binder: ty::Binder<I, ty::PredicateKind<I>>) { |