path: root/test/files/neg/wellkinded_wrongarity2.check

wellkinded_wrongarity2.scala:5: error: String takes no type parameters, expected: one
trait ms1 extends Monad[String]        // wrong
                        ^
wellkinded_wrongarity2.scala:6: error: t takes no type parameters, expected: one
trait ms2[t] extends Monad[t]          // wrong
                           ^
wellkinded_wrongarity2.scala:7: error: m[t] takes no type parameters, expected: one
trait ms3[m[_], t] extends Monad[m[t]] // wrong -- added to check regression on bug
                                 ^
wellkinded_wrongarity2.scala:12: error: type m takes type parameters
trait Bar2[m[_]] extends Foo[m] // check that m is properly recognized as kind *->*, while * is expected
                             ^
four errors found