Better refinement symbols in semanticDB#18604

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

jkciesluk:semanticdb-refljkciesluk/dotty:semanticdb-reflCopy head branch name to clipboard