Fix #3340: Always throw when casting to scala.Nothing#5874

nicolasstucki merged 2 commits intoscala:masterscala/scala3:masterfrom

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