used derived types to type arguments of dependent function type#19838

sjrd merged 2 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:fix-i19629dotty-staging/dotty:fix-i19629Copy head branch name to clipboard