public final class jdk.vm.ci.meta.Assumptions$ConcreteSubtype extends jdk.vm.ci.meta.Assumptions$Assumption
  minor version: 0
  major version: 59
  flags: flags: (0x0031) ACC_PUBLIC, ACC_FINAL, ACC_SUPER
  this_class: jdk.vm.ci.meta.Assumptions$ConcreteSubtype
  super_class: jdk.vm.ci.meta.Assumptions$Assumption
{
  public final jdk.vm.ci.meta.ResolvedJavaType context;
    descriptor: Ljdk/vm/ci/meta/ResolvedJavaType;
    flags: (0x0011) ACC_PUBLIC, ACC_FINAL

  public final jdk.vm.ci.meta.ResolvedJavaType subtype;
    descriptor: Ljdk/vm/ci/meta/ResolvedJavaType;
    flags: (0x0011) ACC_PUBLIC, ACC_FINAL

  static final boolean $assertionsDisabled;
    descriptor: Z
    flags: (0x1018) ACC_STATIC, ACC_FINAL, ACC_SYNTHETIC

  static void <clinit>();
    descriptor: ()V
    flags: (0x0008) ACC_STATIC
    Code:
      stack=1, locals=0, args_size=0
         0: .line 138
            ldc Ljdk/vm/ci/meta/Assumptions;
            invokevirtual java.lang.Class.desiredAssertionStatus:()Z
            ifne 1
            iconst_1
            goto 2
      StackMap locals:
      StackMap stack:
         1: iconst_0
      StackMap locals:
      StackMap stack: int
         2: putstatic jdk.vm.ci.meta.Assumptions$ConcreteSubtype.$assertionsDisabled:Z
            return
      LocalVariableTable:
        Start  End  Slot  Name  Signature

  public void <init>(jdk.vm.ci.meta.ResolvedJavaType, jdk.vm.ci.meta.ResolvedJavaType);
    descriptor: (Ljdk/vm/ci/meta/ResolvedJavaType;Ljdk/vm/ci/meta/ResolvedJavaType;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=5, locals=3, args_size=3
        start local 0 // jdk.vm.ci.meta.Assumptions$ConcreteSubtype this
        start local 1 // jdk.vm.ci.meta.ResolvedJavaType context
        start local 2 // jdk.vm.ci.meta.ResolvedJavaType subtype
         0: .line 150
            aload 0 /* this */
            invokespecial jdk.vm.ci.meta.Assumptions$Assumption.<init>:()V
         1: .line 151
            aload 0 /* this */
            aload 1 /* context */
            putfield jdk.vm.ci.meta.Assumptions$ConcreteSubtype.context:Ljdk/vm/ci/meta/ResolvedJavaType;
         2: .line 152
            aload 0 /* this */
            aload 2 /* subtype */
            putfield jdk.vm.ci.meta.Assumptions$ConcreteSubtype.subtype:Ljdk/vm/ci/meta/ResolvedJavaType;
         3: .line 153
            getstatic jdk.vm.ci.meta.Assumptions$ConcreteSubtype.$assertionsDisabled:Z
            ifne 4
            aload 1 /* context */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaType.isAbstract:()Z
            ifne 4
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         4: .line 154
      StackMap locals: jdk.vm.ci.meta.Assumptions$ConcreteSubtype jdk.vm.ci.meta.ResolvedJavaType jdk.vm.ci.meta.ResolvedJavaType
      StackMap stack:
            getstatic jdk.vm.ci.meta.Assumptions$ConcreteSubtype.$assertionsDisabled:Z
            ifne 5
            aload 2 /* subtype */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaType.isConcrete:()Z
            ifne 5
            aload 1 /* context */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaType.isInterface:()Z
            ifne 5
            new java.lang.AssertionError
            dup
            new java.lang.StringBuilder
            dup
            aload 2 /* subtype */
            invokevirtual java.lang.Object.toString:()Ljava/lang/String;
            invokestatic java.lang.String.valueOf:(Ljava/lang/Object;)Ljava/lang/String;
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            ldc " : "
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            aload 1 /* context */
            invokevirtual java.lang.Object.toString:()Ljava/lang/String;
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            invokespecial java.lang.AssertionError.<init>:(Ljava/lang/Object;)V
            athrow
         5: .line 155
      StackMap locals:
      StackMap stack:
            getstatic jdk.vm.ci.meta.Assumptions$ConcreteSubtype.$assertionsDisabled:Z
            ifne 6
            aload 2 /* subtype */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaType.isArray:()Z
            ifeq 6
            aload 2 /* subtype */
            invokeinterface jdk.vm.ci.meta.ResolvedJavaType.getElementalType:()Ljdk/vm/ci/meta/ResolvedJavaType;
            invokeinterface jdk.vm.ci.meta.ResolvedJavaType.isFinalFlagSet:()Z
            ifne 6
            new java.lang.AssertionError
            dup
            new java.lang.StringBuilder
            dup
            aload 2 /* subtype */
            invokevirtual java.lang.Object.toString:()Ljava/lang/String;
            invokestatic java.lang.String.valueOf:(Ljava/lang/Object;)Ljava/lang/String;
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            ldc " : "
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            aload 1 /* context */
            invokevirtual java.lang.Object.toString:()Ljava/lang/String;
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            invokespecial java.lang.AssertionError.<init>:(Ljava/lang/Object;)V
            athrow
         6: .line 156
      StackMap locals:
      StackMap stack:
            return
        end local 2 // jdk.vm.ci.meta.ResolvedJavaType subtype
        end local 1 // jdk.vm.ci.meta.ResolvedJavaType context
        end local 0 // jdk.vm.ci.meta.Assumptions$ConcreteSubtype this
      LocalVariableTable:
        Start  End  Slot     Name  Signature
            0    7     0     this  Ljdk/vm/ci/meta/Assumptions$ConcreteSubtype;
            0    7     1  context  Ljdk/vm/ci/meta/ResolvedJavaType;
            0    7     2  subtype  Ljdk/vm/ci/meta/ResolvedJavaType;
    MethodParameters:
         Name  Flags
      context  
      subtype  

  public int hashCode();
    descriptor: ()I
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=2, locals=2, args_size=1
        start local 0 // jdk.vm.ci.meta.Assumptions$ConcreteSubtype this
         0: .line 161
            iconst_1
            istore 1 /* result */
        start local 1 // int result
         1: .line 162
            bipush 31
            iload 1 /* result */
            imul
            aload 0 /* this */
            getfield jdk.vm.ci.meta.Assumptions$ConcreteSubtype.context:Ljdk/vm/ci/meta/ResolvedJavaType;
            invokevirtual java.lang.Object.hashCode:()I
            iadd
            istore 1 /* result */
         2: .line 163
            bipush 31
            iload 1 /* result */
            imul
            aload 0 /* this */
            getfield jdk.vm.ci.meta.Assumptions$ConcreteSubtype.subtype:Ljdk/vm/ci/meta/ResolvedJavaType;
            invokevirtual java.lang.Object.hashCode:()I
            iadd
            istore 1 /* result */
         3: .line 164
            iload 1 /* result */
            ireturn
        end local 1 // int result
        end local 0 // jdk.vm.ci.meta.Assumptions$ConcreteSubtype this
      LocalVariableTable:
        Start  End  Slot    Name  Signature
            0    4     0    this  Ljdk/vm/ci/meta/Assumptions$ConcreteSubtype;
            1    4     1  result  I

  public boolean equals(java.lang.Object);
    descriptor: (Ljava/lang/Object;)Z
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=2, locals=3, args_size=2
        start local 0 // jdk.vm.ci.meta.Assumptions$ConcreteSubtype this
        start local 1 // java.lang.Object obj
         0: .line 169
            aload 1 /* obj */
            instanceof jdk.vm.ci.meta.Assumptions$ConcreteSubtype
            ifeq 4
         1: .line 170
            aload 1 /* obj */
            checkcast jdk.vm.ci.meta.Assumptions$ConcreteSubtype
            astore 2 /* other */
        start local 2 // jdk.vm.ci.meta.Assumptions$ConcreteSubtype other
         2: .line 171
            aload 2 /* other */
            getfield jdk.vm.ci.meta.Assumptions$ConcreteSubtype.context:Ljdk/vm/ci/meta/ResolvedJavaType;
            aload 0 /* this */
            getfield jdk.vm.ci.meta.Assumptions$ConcreteSubtype.context:Ljdk/vm/ci/meta/ResolvedJavaType;
            invokevirtual java.lang.Object.equals:(Ljava/lang/Object;)Z
            ifeq 3
            aload 2 /* other */
            getfield jdk.vm.ci.meta.Assumptions$ConcreteSubtype.subtype:Ljdk/vm/ci/meta/ResolvedJavaType;
            aload 0 /* this */
            getfield jdk.vm.ci.meta.Assumptions$ConcreteSubtype.subtype:Ljdk/vm/ci/meta/ResolvedJavaType;
            invokevirtual java.lang.Object.equals:(Ljava/lang/Object;)Z
            ifeq 3
            iconst_1
            ireturn
      StackMap locals: jdk.vm.ci.meta.Assumptions$ConcreteSubtype
      StackMap stack:
         3: iconst_0
            ireturn
        end local 2 // jdk.vm.ci.meta.Assumptions$ConcreteSubtype other
         4: .line 173
      StackMap locals:
      StackMap stack:
            iconst_0
            ireturn
        end local 1 // java.lang.Object obj
        end local 0 // jdk.vm.ci.meta.Assumptions$ConcreteSubtype this
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0    5     0   this  Ljdk/vm/ci/meta/Assumptions$ConcreteSubtype;
            0    5     1    obj  Ljava/lang/Object;
            2    4     2  other  Ljdk/vm/ci/meta/Assumptions$ConcreteSubtype;
    MethodParameters:
      Name  Flags
      obj   

  public java.lang.String toString();
    descriptor: ()Ljava/lang/String;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=3, locals=1, args_size=1
        start local 0 // jdk.vm.ci.meta.Assumptions$ConcreteSubtype this
         0: .line 178
            new java.lang.StringBuilder
            dup
            ldc "ConcreteSubtype[context="
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 0 /* this */
            getfield jdk.vm.ci.meta.Assumptions$ConcreteSubtype.context:Ljdk/vm/ci/meta/ResolvedJavaType;
            invokeinterface jdk.vm.ci.meta.ResolvedJavaType.toJavaName:()Ljava/lang/String;
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            ldc ", subtype="
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            aload 0 /* this */
            getfield jdk.vm.ci.meta.Assumptions$ConcreteSubtype.subtype:Ljdk/vm/ci/meta/ResolvedJavaType;
            invokeinterface jdk.vm.ci.meta.ResolvedJavaType.toJavaName:()Ljava/lang/String;
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            ldc "]"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            areturn
        end local 0 // jdk.vm.ci.meta.Assumptions$ConcreteSubtype this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Ljdk/vm/ci/meta/Assumptions$ConcreteSubtype;
}
SourceFile: "Assumptions.java"
NestHost: jdk.vm.ci.meta.Assumptions
InnerClasses:
  public abstract Assumption = jdk.vm.ci.meta.Assumptions$Assumption of jdk.vm.ci.meta.Assumptions
  public final ConcreteSubtype = jdk.vm.ci.meta.Assumptions$ConcreteSubtype of jdk.vm.ci.meta.Assumptions