Widen skolem types when adding parent refinements#22488

KacperFKorban merged 1 commit intoscala:mainscala/scala3:mainfrom

dotty-staging:fix-i22456dotty-staging/dotty:fix-i22456Copy head branch name to clipboard