diff options
Diffstat (limited to 'test/files/neg/wellkinded_wrongarity2.scala')
-rw-r--r-- | test/files/neg/wellkinded_wrongarity2.scala | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/test/files/neg/wellkinded_wrongarity2.scala b/test/files/neg/wellkinded_wrongarity2.scala index ee9d771aaa..3154732672 100644 --- a/test/files/neg/wellkinded_wrongarity2.scala +++ b/test/files/neg/wellkinded_wrongarity2.scala @@ -1,4 +1,12 @@ // test well-kindedness checks + +// expecting types of kind *->* class Monad[m[x]] +trait ms1 extends Monad[String] // wrong +trait ms2[t] extends Monad[t] // wrong +trait ms3[m[_], t] extends Monad[m[t]] // wrong -- added to check regression on bug -object ms extends Monad[String]
\ No newline at end of file +// expecting types of kind * +trait Foo[x] +trait Bar1[m[_]] extends Foo[m[Int]] // check that m[Int] is properly recognized as kind-* +trait Bar2[m[_]] extends Foo[m] // check that m is properly recognized as kind *->*, while * is expected
\ No newline at end of file |