[Draft] A more dependent pattern matching prototype#21828

noti0na1 wants to merge 1 commit intoscala:mainscala/scala3:mainfrom

dotty-staging:improve-case-bind-singletondotty-staging/dotty:improve-case-bind-singletonCopy head branch name to clipboard