Lukas
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.
This was properly fixed in https://github.com/rust-lang/rust/pull/122791, which also landed in 1.78.0. That PR also allows this similar code to compile, which still fails after https://github.com/rust-lang/rust/pull/122493: ```rust #[derive(Clone)] struct Hello {...
> I was actually hoping for unsized unions to remain possible, honestly, so I'm somewhat disappointed by this event being caused by #122493, since that makes it impossible to even...
@bors r+ rollup