Self-kinded type variable accepted

Found when chasing #11407 (closed)

data T (a::a) = Blah -- Accepted

data S (b :: a) a = ...
  -- Rejected with: variable ‘a’ used as a kind variable before being bound
  --                as a type variable. Perhaps reorder your variables?

But T should be rejected too, for the same reason as S

Trac metadata

Trac field	Value
Version	7.10.3
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component	Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture