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

  abstract java.lang.Object execute(com.oracle.truffle.api.dsl.test.GenericTypeCheckTest$YYY);
    descriptor: (Lcom/oracle/truffle/api/dsl/test/GenericTypeCheckTest$YYY;)Ljava/lang/Object;
    flags: (0x0400) ACC_ABSTRACT
    MethodParameters:
      Name  Flags
      arg   

  java.lang.Object s0(com.oracle.truffle.api.dsl.test.GenericTypeCheckTest$MyConcreteClass1);
    descriptor: (Lcom/oracle/truffle/api/dsl/test/GenericTypeCheckTest$MyConcreteClass1;)Ljava/lang/Object;
    flags: (0x0000) 
    Code:
      stack=1, locals=2, args_size=2
        start local 0 // com.oracle.truffle.api.dsl.test.GenericTypeCheckTest$TestNode this
        start local 1 // com.oracle.truffle.api.dsl.test.GenericTypeCheckTest$MyConcreteClass1 arg
         0: .line 76
            aload 1 /* arg */
            areturn
        end local 1 // com.oracle.truffle.api.dsl.test.GenericTypeCheckTest$MyConcreteClass1 arg
        end local 0 // com.oracle.truffle.api.dsl.test.GenericTypeCheckTest$TestNode this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/oracle/truffle/api/dsl/test/GenericTypeCheckTest$TestNode;
            0    1     1   arg  Lcom/oracle/truffle/api/dsl/test/GenericTypeCheckTest$MyConcreteClass1;
    RuntimeVisibleAnnotations: 
      com.oracle.truffle.api.dsl.Specialization()
    MethodParameters:
      Name  Flags
      arg   

  java.lang.Object s0(com.oracle.truffle.api.dsl.test.GenericTypeCheckTest$MyConcreteClass2);
    descriptor: (Lcom/oracle/truffle/api/dsl/test/GenericTypeCheckTest$MyConcreteClass2;)Ljava/lang/Object;
    flags: (0x0000) 
    Code:
      stack=1, locals=2, args_size=2
        start local 0 // com.oracle.truffle.api.dsl.test.GenericTypeCheckTest$TestNode this
        start local 1 // com.oracle.truffle.api.dsl.test.GenericTypeCheckTest$MyConcreteClass2 arg
         0: .line 81
            aload 1 /* arg */
            areturn
        end local 1 // com.oracle.truffle.api.dsl.test.GenericTypeCheckTest$MyConcreteClass2 arg
        end local 0 // com.oracle.truffle.api.dsl.test.GenericTypeCheckTest$TestNode this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/oracle/truffle/api/dsl/test/GenericTypeCheckTest$TestNode;
            0    1     1   arg  Lcom/oracle/truffle/api/dsl/test/GenericTypeCheckTest$MyConcreteClass2;
    RuntimeVisibleAnnotations: 
      com.oracle.truffle.api.dsl.Specialization()
    MethodParameters:
      Name  Flags
      arg   
}
SourceFile: "GenericTypeCheckTest.java"
NestHost: com.oracle.truffle.api.dsl.test.GenericTypeCheckTest
InnerClasses:
  public final MyConcreteClass1 = com.oracle.truffle.api.dsl.test.GenericTypeCheckTest$MyConcreteClass1 of com.oracle.truffle.api.dsl.test.GenericTypeCheckTest
  public final MyConcreteClass2 = com.oracle.truffle.api.dsl.test.GenericTypeCheckTest$MyConcreteClass2 of com.oracle.truffle.api.dsl.test.GenericTypeCheckTest
  abstract TestNode = com.oracle.truffle.api.dsl.test.GenericTypeCheckTest$TestNode of com.oracle.truffle.api.dsl.test.GenericTypeCheckTest
  public abstract YYY = com.oracle.truffle.api.dsl.test.GenericTypeCheckTest$YYY of com.oracle.truffle.api.dsl.test.GenericTypeCheckTest
    RuntimeInvisibleAnnotations: 
      com.oracle.truffle.api.dsl.TypeSystemReference(value = Lcom/oracle/truffle/api/dsl/test/GenericTypeCheckTest$MyTypeSytem;)