tests/pos-special/t2613.scala


1
2
3
4
5
6
7
8
9
10
11

import language.existentials

object Test {
  class Row

  abstract class MyRelation [R <: Row, +Relation <: MyRelation[R, Relation]]

  type M = MyRelation[_ <: Row, _ <: MyRelation]

  val (x,y): (String, M) = null
}