clean up `Sized` checking#122493

Merged

bors merged 5 commits intorust-lang:masterfrom

lukas-code:sized-constraint

Mar 19, 2024

Commits on Mar 14, 2024

make `Representability::Infinite` carry `ErrorGuaranteed`
Lukas Markeffsky
committed
clean up ADT sized constraint computation
Lukas Markeffsky
committed
remove unnecessary sized checks
Lukas Markeffsky
committed
use a let chain
Lukas Markeffsky
committed

Commits on Mar 18, 2024

address nits
Lukas Markeffsky
committed