type T = * is not Haskell2010
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.
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, KindSignatureswill matter.
Do nothing, accept the status quo and wait until * is removed.