1 2 3 4 5 6 7 8 9 10 11
class A[U] { def f[T] = { class X extends A[T] } } /* $ scalac a.scala $ javac -cp .:$SCALA_HOME/lib/scala-library.jar -Xprint 'A$X$1' public class X$1 extends A<java.lang.Object> implements scala.ScalaObject { public X$1(A<U> null); } */