Lukas

I replaced `predicate_must_hold_considering_regions` with `predicate_must_hold_modulo_regions` and added some docs to warn about `predicate_must_hold_considering_regions`. r? @lcnr @rustbot ready

@rustbot author

I've updated the OP to show the differences between before and after this PR. I'm still not convinced that the "fallback impl" is better than a specialization, but I guess...

Making `Pointee` a supertrait of `Sized` seems like a really good idea. I'll implement that and see what breaks 😆 .

To answer the question of what breaks, it's this test: (in both solvers) https://github.com/rust-lang/rust/blob/4a2fe4491ea616983a0cf0cbbd145a39768f4e7a/tests/ui/sized/recursive-type-pass.rs#L1-L10 But that's probably fine, because that test compiling at all seems more like a side-effect of...

since this feature is still unstable @rustbot label -relnotes

This was fixed by https://github.com/rust-lang/rust/pull/110960 and the fix is included in Rust 1.71.0.