blob: 6d836a3996ab36aa19157454b903c00a6873b2bb (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
case class annot[T]() extends scala.annotation.StaticAnnotation
// type inference should infer @annot[Nothing] instead of @annot[T]
// note the T is not in scope here!
class Foo[@annot U]
object Test {
import scala.reflect.runtime.universe._
val x = new Foo
def main(args: Array[String]): Unit = {
val targ = typeOf[x.type].widen match {
case TypeRef(_, _, arg :: _) => arg
}
println(targ)
}
}
|
