Skip to content

normalization: avoid incompletely constraining GAT args#140712

Merged
bors merged 2 commits intorust-lang:masterfrom
lcnr:normalization-gat-args
May 16, 2025
Merged

normalization: avoid incompletely constraining GAT args#140712
bors merged 2 commits intorust-lang:masterfrom
lcnr:normalization-gat-args

Commits

Commits on May 8, 2025