https://www.graalvm.org/ 
class com.oracle.truffle.api.dsl.test.ReachabilityTest$ReachabilityType2 extends com.oracle.truffle.api.dsl.test.TypeSystemTest$ValueNode
  minor version: 0
  major version: 59
  flags: flags: (0x0020) ACC_SUPER
  this_class: com.oracle.truffle.api.dsl.test.ReachabilityTest$ReachabilityType2
  super_class: com.oracle.truffle.api.dsl.test.TypeSystemTest$ValueNode
{
  void <init>();
    descriptor: ()V
    flags: (0x0000) 
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // com.oracle.truffle.api.dsl.test.ReachabilityTest$ReachabilityType2 this
         0: .line 85
            aload 0 /* this */
            invokespecial com.oracle.truffle.api.dsl.test.TypeSystemTest$ValueNode.<init>:()V
            return
        end local 0 // com.oracle.truffle.api.dsl.test.ReachabilityTest$ReachabilityType2 this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/oracle/truffle/api/dsl/test/ReachabilityTest$ReachabilityType2;

  com.oracle.truffle.api.dsl.test.TypeSystemTest$BExtendsAbstract do2(com.oracle.truffle.api.dsl.test.TypeSystemTest$BExtendsAbstract);
    descriptor: (Lcom/oracle/truffle/api/dsl/test/TypeSystemTest$BExtendsAbstract;)Lcom/oracle/truffle/api/dsl/test/TypeSystemTest$BExtendsAbstract;
    flags: (0x0000) 
    Code:
      stack=1, locals=2, args_size=2
        start local 0 // com.oracle.truffle.api.dsl.test.ReachabilityTest$ReachabilityType2 this
        start local 1 // com.oracle.truffle.api.dsl.test.TypeSystemTest$BExtendsAbstract a
         0: .line 88
            aload 1 /* a */
            areturn
        end local 1 // com.oracle.truffle.api.dsl.test.TypeSystemTest$BExtendsAbstract a
        end local 0 // com.oracle.truffle.api.dsl.test.ReachabilityTest$ReachabilityType2 this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/oracle/truffle/api/dsl/test/ReachabilityTest$ReachabilityType2;
            0    1     1     a  Lcom/oracle/truffle/api/dsl/test/TypeSystemTest$BExtendsAbstract;
    RuntimeVisibleAnnotations: 
      com.oracle.truffle.api.dsl.Specialization()
    MethodParameters:
      Name  Flags
      a     

  com.oracle.truffle.api.dsl.test.TypeSystemTest$BExtendsAbstract do1(com.oracle.truffle.api.dsl.test.TypeSystemTest$BExtendsAbstract);
    descriptor: (Lcom/oracle/truffle/api/dsl/test/TypeSystemTest$BExtendsAbstract;)Lcom/oracle/truffle/api/dsl/test/TypeSystemTest$BExtendsAbstract;
    flags: (0x0000) 
    Code:
      stack=1, locals=2, args_size=2
        start local 0 // com.oracle.truffle.api.dsl.test.ReachabilityTest$ReachabilityType2 this
        start local 1 // com.oracle.truffle.api.dsl.test.TypeSystemTest$BExtendsAbstract a
         0: .line 94
            aload 1 /* a */
            areturn
        end local 1 // com.oracle.truffle.api.dsl.test.TypeSystemTest$BExtendsAbstract a
        end local 0 // com.oracle.truffle.api.dsl.test.ReachabilityTest$ReachabilityType2 this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/oracle/truffle/api/dsl/test/ReachabilityTest$ReachabilityType2;
            0    1     1     a  Lcom/oracle/truffle/api/dsl/test/TypeSystemTest$BExtendsAbstract;
    RuntimeVisibleAnnotations: 
      com.oracle.truffle.api.dsl.test.ExpectError(value = {"Specialization is not reachable. It is shadowed by do2(BExtendsAbstract)."})
      com.oracle.truffle.api.dsl.Specialization()
    RuntimeVisibleTypeAnnotations: 
      METHOD_RETURN
        com.oracle.truffle.api.dsl.test.ExpectError(value = {"Specialization is not reachable. It is shadowed by do2(BExtendsAbstract)."})
    MethodParameters:
      Name  Flags
      a     
}
SourceFile: "ReachabilityTest.java"
NestHost: com.oracle.truffle.api.dsl.test.ReachabilityTest
InnerClasses:
  ReachabilityType2 = com.oracle.truffle.api.dsl.test.ReachabilityTest$ReachabilityType2 of com.oracle.truffle.api.dsl.test.ReachabilityTest
  final BExtendsAbstract = com.oracle.truffle.api.dsl.test.TypeSystemTest$BExtendsAbstract of com.oracle.truffle.api.dsl.test.TypeSystemTest
  public ValueNode = com.oracle.truffle.api.dsl.test.TypeSystemTest$ValueNode of com.oracle.truffle.api.dsl.test.TypeSystemTest
    RuntimeInvisibleAnnotations: 
      com.oracle.truffle.api.dsl.NodeChildren(value = {com.oracle.truffle.api.dsl.NodeChild(value = "a")})