test/files/run/t8607.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

package p1 {
  private[p1] trait B extends Any {
    def a: Any = ""
  }
 
  class C(val value: Int) extends AnyVal with B {
    // def b = ""
  }
}

object Test {
  def main(args: Array[String]) {
    val c = new p1.C(42)
    c.a
    /*
    new p1.C.<init>(
      c.$asInstanceOf[scala.this.Int]()
    ).a();


    new p1.C.<init>(
      new p1.C.<init>(
        c.$asInstanceOf[scala.this.Int]()
      ).$asInstanceOf[ErasedValueType(class C, scala.this.Int)]()
       .$asInstanceOf[scala.this.Int]()
    ).a();

    new p1.C.<init>(
      new p1.C.<init>(c)
        .$asInstanceOf[scala.this.Int]()
        .$asInstanceOf[scala.this.Int]()
      ).a();

    */
  }
}