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

noti0na1 merged 2 commits intoscala:mainscala/scala3:mainfrom

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