Skip to content

Normalize before computing ConstArgHasType goal in new solver#142806

Merged
bors merged 1 commit intorust-lang:masterfrom
compiler-errors:norm-ct-has-ty
Jun 28, 2025
Merged

Normalize before computing ConstArgHasType goal in new solver#142806
bors merged 1 commit intorust-lang:masterfrom
compiler-errors:norm-ct-has-ty

Commits

Commits on Jun 25, 2025