diff options
| author | Matthias Krüger <476013+matthiaskrgr@users.noreply.github.com> | 2025-10-01 18:42:38 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-10-01 18:42:38 +0200 |
| commit | 8e289788f95d2f611f49f40c1059e555ea9390dc (patch) | |
| tree | 8bc641be29b93ccf22ab91bcf2b75cfb5636d890 /compiler | |
| parent | ae60ebd46daace4af7eae5e254b39f55b8b51e92 (diff) | |
| parent | 96fb1b3b559ccc8ed051c95fa5385f9ba4030a01 (diff) | |
| download | rust-8e289788f95d2f611f49f40c1059e555ea9390dc.tar.gz rust-8e289788f95d2f611f49f40c1059e555ea9390dc.zip | |
Rollup merge of #147226 - jdonszelmann:pattern-types-next-solver, r=lcnr
include `outer_inclusive_binder` of pattern types Fixes https://github.com/rust-lang/trait-system-refactor-initiative/issues/237 r? ```@lcnr```
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>>) { |