Add tests for a compile-time error if type parameter occurs in a non-covariant position

[sgrekhov]

There are no any tests for the following statement from Dart Language Specification

10.10 Superinterfaces
...
When a generic class C declares a type parameter X, it is a compile-time
error if X occurs in a non-covariant position in a type which specifies a superinterface of C. For example, the class can not have List<void Function(X)> in its extends or implements clause.

Don't forget to add tests for type aliases, inline classes, different class modifiers etc