Files
rust/tests
Jonathan Brouwer 2fce4af463 Rollup merge of #155236 - adwinwhite:refactor-predicates-for-generics, r=lcnr
Normalize individual predicate of `InstantiatedPredicates` inside `predicates_for_generics`

This is a cleanup to better land rust-lang/rust#155083. It allows us to wrap individual clause in `Unnormalized` wrapper. See [this comment](https://github.com/rust-lang/rust/pull/155083#discussion_r3072219035)

Besides that, this PR also adds missing normalization in some cases.

r? @lcnr
2026-04-13 20:19:58 +02:00
..
2026-04-10 15:10:04 +02:00