blob: dc2605abe64774abbaa3250234a8c83a6c1f21bc (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
object Test {
trait Universe {
type Type
type TypeTag[A] >: Null <: TypeTagApi[A]
trait TypeTagApi[A] { def tpe: Type }
}
trait JavaUniverse extends Universe
trait Mirror[U <: Universe] {
def universe: U
}
(null: Mirror[_]).universe match {
case ju: JavaUniverse =>
val ju1 = ju
val f = {() => (null: ju.TypeTag[Nothing]).tpe }
}
trait M[A]
}
|