Introduce precise refined types#24154

odersky merged 16 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:precise-refineddotty-staging/dotty:precise-refinedCopy head branch name to clipboard