test/files/pos/shapeless-regression.scala


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

class W[T <: AnyRef](val t: T) {
  val v: T {} = t
}

object W {
  def apply[T <: AnyRef](t: T) = new W[t.type](t)
}

object RightAssoc {
  def ra_:[T](t: T): Unit = ()
}

object Boom {
  W("fooo").v ra_: RightAssoc
}