Implement `provablyDisjoint` for refined types and type aliases#15375

odersky merged 1 commit intoscala:mainscala/scala3:mainfrom

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