Check that some types are not higher-kinded.#821

DarkDimius merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-check-simple-kindeddotty-staging/dotty:fix-check-simple-kindedCopy head branch name to clipboard