Backport "Generalize "Don't approximate a type using Nothing as prefix"" to 3.3 LTS#548

tgodzik merged 2 commits intolts-3.3scala/scala3-lts:lts-3.3from

backport-lts-3.3-23628scala/scala3-lts:backport-lts-3.3-23628Copy head branch name to clipboard