Replace pickling of sub matches with an annotation #23810

EugeneFlesselle wants to merge 2 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:sub-cases-tastydotty-staging/dotty:sub-cases-tastyCopy head branch name to clipboard