多态类型中基元类型的类型信息

鉴于以下目标:

object Foo {
  val bar: List[Int] = List(1, 2, 3)
}

当我们将此文件编译为JVM字节码时,由于类型擦除以及Java不支持将基元类型作为泛型类型的参数,这会被转换为 List<Object> .

我们可以通过编译和检查 .class javap -l

public static com.yuvalitzchakov.github.Foo$ MODULE$;
  descriptor: Lcom/yuvalitzchakov/github/Foo$;
  flags: ACC_PUBLIC, ACC_STATIC

public scala.collection.immutable.List<java.lang.Object> bar();
  descriptor: ()Lscala/collection/immutable/List;
  flags: ACC_PUBLIC
  Code:
    stack=1, locals=1, args_size=1
        0: aload_0
        1: getfield      #19                 // Field bar:Lscala/collection/immutable/List;
        4: areturn
      LineNumberTable:
        line 4: 0
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0       5     0  this   Lcom/yuvalitzchakov/github/Foo$;
    Signature: #17                          // ()Lscala/collection/immutable/List<Ljava/lang/Object;>;

但是,如果我们将其编译成一个JAR文件,然后将其作为另一个Scala项目中的依赖项,并尝试设置 Foo.bar 对于不同的值,Scala编译器将推断该类型为 List[Int] List[Object]

在浏览完 .类 文件中,我找不到有关类型参数的信息,该参数将允许Scala编译器成功地将其推断为 列表[Int] .

该元数据存储在何处,以便我们可以将该类型称为实际类型 列表[Int] 而不是 ?