Skip to content

minor: Add regression tests for some fixed A-ty issues#20914

Merged
ChayimFriedman2 merged 1 commit intorust-lang:masterfrom
ShoyuVanilla:next-solver-tests
Oct 26, 2025
Merged

minor: Add regression tests for some fixed `A-ty` issues#20914
ChayimFriedman2 merged 1 commit intorust-lang:masterfrom
ShoyuVanilla:next-solver-tests

Commits

Commits on Oct 26, 2025