Fix #20453: Implement safe widening of singleton types #24274

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

dotty-staging:safe-widen-singletondotty-staging/dotty:safe-widen-singletonCopy head branch name to clipboard