Uplift Predicate::allow_normalization to rustc_type_ir#152396
Merged
rust-bors[bot] merged 1 commit intorust-lang:mainfrom Feb 10, 2026
Merged
Uplift Predicate::allow_normalization to rustc_type_ir#152396rust-bors[bot] merged 1 commit intorust-lang:mainfrom
Predicate::allow_normalization to rustc_type_ir#152396rust-bors[bot] merged 1 commit intorust-lang:mainfrom
