1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
// /scala/trac/5359/a.scala // Thu Jan 5 13:31:05 PST 2012 object test { trait Step[F[_]] { // crash: typeConstructor inapplicable for <none> this match { case S1() => } } case class S1[F[_]]() extends Step[F] // okay (null: Step[Option]) match { case S1() => } }