Improve GADT reasoning for pattern alternatives#23205

Merged

Linyxus merged 4 commits intoscala:mainfrom

dotty-staging:fix-pat-alt

May 28, 2025

Commits on May 20, 2025

Commits on May 27, 2025

Update compiler/src/dotty/tools/dotc/typer/Typer.scala

Linyxus
and
Copilot
authored