Simplify avoidance of local types of Hole#17571

smarter merged 1 commit intoscala:mainscala/scala3:mainfrom

dotty-staging:simplify-quote-pickling-hole-type-avoidancedotty-staging/dotty:simplify-quote-pickling-hole-type-avoidanceCopy head branch name to clipboard