test/files/pos/t5198.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

package gaga


trait Sys[Self <: Sys[Self]] {
  type Tx
}


sealed trait AssocEntry[S <: Sys[S], @specialized(Int) A] {
  def value: A
  def value(implicit tx: S#Tx): A
}