Fix: Prevent GADT reasoning in pattern alternatives#22853

dwijnand merged 1 commit intoscala:mainscala/scala3:mainfrom

dotty-staging:gadt-pattern-altsdotty-staging/dotty:gadt-pattern-altsCopy head branch name to clipboard