diff options
Diffstat (limited to 'test/files/neg/wellkinded_wrongarity2.scala')
| -rw-r--r-- | test/files/neg/wellkinded_wrongarity2.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/files/neg/wellkinded_wrongarity2.scala b/test/files/neg/wellkinded_wrongarity2.scala index 3154732672..aac617bd87 100644 --- a/test/files/neg/wellkinded_wrongarity2.scala +++ b/test/files/neg/wellkinded_wrongarity2.scala @@ -9,4 +9,4 @@ trait ms3[m[_], t] extends Monad[m[t]] // wrong -- added to check regression on // 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 +trait Bar2[m[_]] extends Foo[m] // check that m is properly recognized as kind *->*, while * is expected |