pattern types escaping bound vars ICE

[lcnr]

• tests/ui/type/pattern_types/const_generics.rs
• tests/ui/type/pattern_types/transmute.rs

//@ check-pass

#![feature(pattern_types, generic_pattern_types, pattern_type_macro)]
#![expect(incomplete_features)]

use std::pat::pattern_type;

trait Foo {}

impl<const START: u32, const END: u32> Foo for pattern_type!(u32 is START..=END) {}

thread 'rustc' panicked at /home/lcnr/rust/compiler/rustc_type_ir/src/relate/combine.rs:162:5:
assertion failed: !a.has_escaping_bound_vars()

[lcnr]

cc @oli-obk

[lcnr]

fixed by rust-lang/rust#147226