Allow associated const equality constraints with GCA - #159506

Merged

rust-bors[bot] merged 9 commits into

rust-lang:mainfrom

bit-aloo:2026-07-14-dyn-compatible-non-typeconsts-in-GCA

Aug 6, 2026

Commits on Jul 25, 2026

add test which should pass
bit-aloo
committed
ea475ff
Add helper for equality-constrainable assoc items
bit-aloo
committed
62e3e3d
Allow associated const equality constraints with MGCA
bit-aloo
committed
f86e9f6
Correct the statments
bit-aloo
committed
cd57bc3
Remove NonType assocConstViolation variant, as we don't need it anymore
bit-aloo
committed
faebca4
Gate non-type assoc const equality on generic_const_args
bit-aloo
committed
a8087a3
add dyn generic non type assoc const
bit-aloo
committed
4077496
add lack_of_wfcheck for gca
bit-aloo
committed
ad7e5e2
Revise generic const args WF test and split GAT case
bit-aloo
committed
2191fc1