Make refined type printing more source compatible#16303

dwijnand merged 1 commit intoscala:mainscala/scala3:mainfrom

jan-pieter:fix-12939jan-pieter/dotty:fix-12939Copy head branch name to clipboard