include outer_inclusive_binder of pattern types

[jdonszelmann]

Fixes rust-lang/trait-system-refactor-initiative#237

r? @lcnr

[jdonszelmann]

this is the one line that actually fixes the issue. We didn't record the fact that pattern types might have bound variables inside them without this

[jdonszelmann]

without it, this:

rust/compiler/rustc_middle/src/ty/pattern.rs

Lines 36 to 49 in 1e1a394

	fn outer_exclusive_binder(&self) -> rustc_type_ir::DebruijnIndex {
	match &**self {
	ty::PatternKind::Range { start, end } => {
	start.outer_exclusive_binder().max(end.outer_exclusive_binder())
	}
	ty::PatternKind::Or(pats) => {
	let mut idx = pats[0].outer_exclusive_binder();
	for pat in pats[1..].iter() {
	idx = idx.max(pat.outer_exclusive_binder());
	}
	idx
	}
	}
	}

is actually dead code

[lcnr]

@bors r+ rollup

there's also a theoretical unsoundness fixed by this change where anonymize bound vars doesn't result in different bound vars, so we get different TypeIds, at least in theory

gj gamer

[bors]

📌 Commit 96fb1b3 has been approved by lcnr

It is now in the queue for this repository.