Fix #1867: Set position of empty refined types#1887

smarter merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-#1867dotty-staging/dotty:fix-#1867Copy head branch name to clipboard