type T = * is not Haskell2010

I believe

type T = *

is not valid Haskell2010 - it should not be accepted without extensions.

The "correct" extension to check would be StarIsType, but this one is enabled by default.

Solutions:

Require KindSignatures in addition to StarIsType in the parser.
Disable StarIsType by default and make KindSignatures imply StarIsType. This one has a bad side effect: the order of extensions in NoStarIsType, KindSignatures will matter.
Do nothing, accept the status quo and wait until * is removed.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information