make `Thin` a supertrait of `Sized`#122553

Closed

lukas-code wants to merge 7 commits intorust-lang:masterfrom

lukas-code:sized-thin

Commits on Mar 19, 2024

clean up fulfillment error reporting
Lukas Markeffsky
committed
add tests for mismatched super projections with nested obligations
Lukas Markeffsky
committed
make `Thin` a supertrait of `Sized`
Lukas Markeffsky
committed
always use shallow tail for metadata projections
Lukas Markeffsky
committed
suppress errors about `T: !Thin` caused by `T: !Sized`
Lukas Markeffsky
committed
clippy: handle supertraits of Sized
Lukas Markeffsky
committed
miri: adjust layout cycle test to avoid overflow error
Lukas Markeffsky
committed