Fix #4098: Check that refinements have good bounds#4122

odersky merged 3 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-#4098dotty-staging/dotty:fix-#4098Copy head branch name to clipboard