Dotty

Widen skolem types when adding parent refinements #34156

Job	Run time
test_non_bootstrapped	29m 21s
test	56m 17s
test_scala2_library_tasty	0s
MiMa	12m 7s
test_windows_fast	57m 0s
test_windows_full	1h 14m 26s
community_build_a	56m 39s
community_build_b	1h 48m 7s
community_build_c	1h 9m 21s
test_sbt	19m 56s
build-msi-package	0s
test_java8	0s
build-sdk-package / build	7m 51s
test-msi-package	0s
build-chocolatey-package / build	18s
test-chocolatey-package	0s
publish_nightly	0s
publish_release	0s
nightly_documentation	0s
open_issue_on_failure	0s
	8h 11m 23s

Provide feedback