Backport "Generalize "Don't approximate a type using Nothing as prefix"" to 3.7.3#23673

WojciechMazur merged 1 commit intoscala:release-3.7.3scala/scala3:release-3.7.3from

dotty-staging:backport-23628dotty-staging/dotty:backport-23628Copy head branch name to clipboard