Fix error message when deriving an obstract type#13812

bishabosha merged 1 commit intoscala:masterscala/scala3:masterfrom

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