public class com.oracle.truffle.api.dsl.test.TypeSystemErrorsTest$CheckError2
  minor version: 0
  major version: 59
  flags: flags: (0x0021) ACC_PUBLIC, ACC_SUPER
  this_class: com.oracle.truffle.api.dsl.test.TypeSystemErrorsTest$CheckError2
  super_class: java.lang.Object
{
  public void <init>();
    descriptor: ()V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // com.oracle.truffle.api.dsl.test.TypeSystemErrorsTest$CheckError2 this
         0: .line 146
            aload 0 /* this */
            invokespecial java.lang.Object.<init>:()V
            return
        end local 0 // com.oracle.truffle.api.dsl.test.TypeSystemErrorsTest$CheckError2 this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/oracle/truffle/api/dsl/test/TypeSystemErrorsTest$CheckError2;

  public boolean isInt(java.lang.Object);
    descriptor: (Ljava/lang/Object;)Z
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=2, args_size=2
        start local 0 // com.oracle.truffle.api.dsl.test.TypeSystemErrorsTest$CheckError2 this
        start local 1 // java.lang.Object value
         0: .line 150
            aload 1 /* value */
            instanceof java.lang.Integer
            ireturn
        end local 1 // java.lang.Object value
        end local 0 // com.oracle.truffle.api.dsl.test.TypeSystemErrorsTest$CheckError2 this
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0    1     0   this  Lcom/oracle/truffle/api/dsl/test/TypeSystemErrorsTest$CheckError2;
            0    1     1  value  Ljava/lang/Object;
    RuntimeVisibleAnnotations: 
      com.oracle.truffle.api.dsl.test.ExpectError(value = {"@TypeCheck annotated method isInt must be public and static."})
    RuntimeInvisibleAnnotations: 
      com.oracle.truffle.api.dsl.TypeCheck(value = I)
    RuntimeVisibleTypeAnnotations: 
      METHOD_RETURN
        com.oracle.truffle.api.dsl.test.ExpectError(value = {"@TypeCheck annotated method isInt must be public and static."})
    MethodParameters:
       Name  Flags
      value  
}
SourceFile: "TypeSystemErrorsTest.java"
NestHost: com.oracle.truffle.api.dsl.test.TypeSystemErrorsTest
InnerClasses:
  public CheckError2 = com.oracle.truffle.api.dsl.test.TypeSystemErrorsTest$CheckError2 of com.oracle.truffle.api.dsl.test.TypeSystemErrorsTest
    RuntimeInvisibleAnnotations: 
      com.oracle.truffle.api.dsl.TypeSystem(value = {I})