Some where clause lowering simplifications#132196

Merged

bors merged 3 commits intorust-lang:masterfrom

compiler-errors:probe_ty_param_bounds

Nov 1, 2024

Commits on Oct 31, 2024

Make predicate filter in `probe_ty_param_bounds_in_generics` more explicit
compiler-errors
committed
Make SelfTraitThatDefines a tighter filter
compiler-errors
committed
Double check the lowered predicates in type_param_predicates
compiler-errors
committed