mgca: Register `ConstArgHasType` when normalizing projection consts - #154853

Merged

rust-bors[bot] merged 10 commits into

rust-lang:mainfrom

lapla-cogito:normlize_projecttion_const

Jun 11, 2026

Commits on Jun 4, 2026

Register `ConstArgHasType` obligation when normalizing trait projection consts
lapla-cogito
committed
a055c7c
Register `ConstArgHasType` obligation when normalizing inherent projection consts
lapla-cogito
committed
7c52368
Add test that free type const value type mismatch does not ICE
lapla-cogito
committed
d8cd4cc
Extract shared helper for registering `ConstArgHasType` during const projection normalization
lapla-cogito
committed
1f9a514
Register `ConstArgHasType` when normalizing free const aliases
lapla-cogito
committed
1240be2

Commits on Jun 5, 2026

Commits on Jun 7, 2026

Explain why we register `ConstArgHasType` in `instantiate_normalizes_to_term`
lapla-cogito
committed
e777ac3

Commits on Jun 8, 2026