Skip to content

Fall back to direct subtype comparison at the end in dropIfSuper and dropIfSub#20523

Merged
noti0na1 merged 2 commits intoscala:mainfrom dotty-staging:fix-20516Jun 19, 2024
+211-14

Commits

Commits on Jun 10, 2024