testsuite: Add forall visibility test cases
The added tests ensure that the type checker does not confuse visible and invisible foralls.
-
VisFlag1
: kind-checking type applications and inferred type variable instantiations -
VisFlag1_ql
: kind-checking Quick Look instantiations -
VisFlag2
: kind-checking type family instances -
VisFlag3
: checking kind annotations on type parameters of associated type families -
VisFlag4
: checking kind annotations on type parameters in type declarations with SAKS -
VisFlag5
: checking the result kind annotation of data family instances