Also substitute symbols in case bindings symbols#24849

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

eejbyfeldt:i24813.scalaeejbyfeldt/scala3:i24813.scalaCopy head branch name to clipboard