mGCA: Make trait object types with type-level associated consts dyn compatible - #150843

Merged

rust-bors[bot] merged 11 commits into

rust-lang:mainfrom

Jan 22, 2026

Commits on Jan 21, 2026

mGCA: Make traits with type assoc consts dyn compatible...
fmease
committed
8d524f0
Fix v0 symbol mangling for assoc const bindings
fmease
committed
4a6b5ed
mGCA: Permit certain const projections in dyn-compatible traits
fmease
committed
7777958
Generalize diag for missing assoc types to account for assoc consts
fmease
committed
9b861ac
Generalize diag for conflicting assoc type bindings to account for assoc consts
fmease
committed
7c8210e
Introduce `AssocTag::descr` & refactor in the vicinity
fmease
committed
baba337
Fix handling of const params defaults that ref `Self` & generalize diag
fmease
committed
233a45c
mGCA: Force users to specify type assoc consts from supertraits that would otherwise ref `Self`
fmease
committed
eb0e3ac
Reject const projections behind trait aliases that mention `Self`
fmease
committed
618c15e
mGCA: Render traits dyn incompatible if the ty of an assoc const refs `Self` (barring `Self` projections)
fmease
committed
7f58193
Support debuginfo for assoc const bindings
fmease
committed
558a592