mgca: Add ConstArg representation for const items#139558

Merged

bors merged 15 commits intorust-lang:masterfrom

camelid:mgca-const-items

Nov 9, 2025

Commits on Nov 1, 2025

setup canonical normalization for const norm

BoxyUwU
authored and
camelid
committed
add ConstArgKind::Error

BoxyUwU
authored and
camelid
committed
mgca: Add ConstArg representation for const items
camelid
committed

Commits on Nov 8, 2025

add `const_of_item` query and use it in normalization
camelid
committed
Fix const qualifs under mgca

BoxyUwU
authored and
camelid
committed
fix associated_const_equality tests

BoxyUwU
authored and
camelid
committed
use right span for inferrable ret ty

BoxyUwU
authored and
camelid
committed
Fix rustdoc
camelid
committed
Fix clippy
camelid
committed
Update crashes tests based on fixed or changed ICEs
camelid
committed
Use "rhs" terminology instead of "body"
camelid
committed
Fix rustfmt
camelid
committed
Fix rustdoc tests
camelid
committed
Fix rustdoc UI tests
camelid
committed
Add tests for mismatched type_const
camelid
committed