class org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula extends org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula
  minor version: 0
  major version: 59
  flags: flags: (0x0020) ACC_SUPER
  this_class: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula
  super_class: org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula
{
  org.eclipse.jdt.internal.compiler.lookup.TypeBinding left;
    descriptor: Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
    flags: (0x0000) 

  boolean isSoft;
    descriptor: Z
    flags: (0x0000) 

  public static org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula create(org.eclipse.jdt.internal.compiler.lookup.TypeBinding, org.eclipse.jdt.internal.compiler.lookup.TypeBinding, int);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=6, locals=3, args_size=3
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding exprType
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding right
        start local 2 // int relation
         0: .line 41
            aload 0 /* exprType */
            ifnull 1
            aload 1 /* right */
            ifnonnull 2
         1: .line 42
      StackMap locals:
      StackMap stack:
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
         2: .line 43
      StackMap locals:
      StackMap stack:
            new org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula
            dup
            aload 0 /* exprType */
            aload 1 /* right */
            iload 2 /* relation */
            iconst_0
            invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
            areturn
        end local 2 // int relation
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding right
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding exprType
      LocalVariableTable:
        Start  End  Slot      Name  Signature
            0    3     0  exprType  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            0    3     1     right  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            0    3     2  relation  I
    MethodParameters:
          Name  Flags
      exprType  
      right     
      relation  

  public static org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula create(org.eclipse.jdt.internal.compiler.lookup.TypeBinding, org.eclipse.jdt.internal.compiler.lookup.TypeBinding, int, boolean);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=6, locals=4, args_size=4
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding exprType
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding right
        start local 2 // int relation
        start local 3 // boolean isSoft
         0: .line 47
            aload 0 /* exprType */
            ifnull 1
            aload 1 /* right */
            ifnonnull 2
         1: .line 48
      StackMap locals:
      StackMap stack:
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
         2: .line 49
      StackMap locals:
      StackMap stack:
            new org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula
            dup
            aload 0 /* exprType */
            aload 1 /* right */
            iload 2 /* relation */
            iload 3 /* isSoft */
            invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
            areturn
        end local 3 // boolean isSoft
        end local 2 // int relation
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding right
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding exprType
      LocalVariableTable:
        Start  End  Slot      Name  Signature
            0    3     0  exprType  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            0    3     1     right  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            0    3     2  relation  I
            0    3     3    isSoft  Z
    MethodParameters:
          Name  Flags
      exprType  
      right     
      relation  
      isSoft    

  private void <init>(org.eclipse.jdt.internal.compiler.lookup.TypeBinding, org.eclipse.jdt.internal.compiler.lookup.TypeBinding, int, boolean);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=2, locals=5, args_size=5
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding exprType
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding right
        start local 3 // int relation
        start local 4 // boolean isSoft
         0: .line 53
            aload 0 /* this */
            invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula.<init>:()V
         1: .line 54
            aload 0 /* this */
            aload 1 /* exprType */
            putfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
         2: .line 55
            aload 0 /* this */
            aload 2 /* right */
            putfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
         3: .line 56
            aload 0 /* this */
            iload 3 /* relation */
            putfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.relation:I
         4: .line 57
            aload 0 /* this */
            iload 4 /* isSoft */
            putfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
         5: .line 58
            return
        end local 4 // boolean isSoft
        end local 3 // int relation
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding right
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding exprType
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula this
      LocalVariableTable:
        Start  End  Slot      Name  Signature
            0    6     0      this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            0    6     1  exprType  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            0    6     2     right  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            0    6     3  relation  I
            0    6     4    isSoft  Z
    MethodParameters:
          Name  Flags
      exprType  
      right     
      relation  
      isSoft    

  void <init>();
    descriptor: ()V
    flags: (0x0000) 
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula this
         0: .line 61
            aload 0 /* this */
            invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula.<init>:()V
            return
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;

  public java.lang.Object reduce(org.eclipse.jdt.internal.compiler.lookup.InferenceContext18);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/lang/Object;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=6, locals=4, args_size=2
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 inferenceContext
         0: .line 66
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.relation:I
            tableswitch { // 1 - 5
                    1: 1
                    2: 20
                    3: 21
                    4: 22
                    5: 26
              default: 50
          }
         1: .line 69
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
            ifeq 6
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
            ifeq 6
         2: .line 70
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 1 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isCompatibleWith:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/Scope;)Z
            ifne 3
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 1 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isBoxingCompatibleWith:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/Scope;)Z
            ifeq 4
      StackMap locals:
      StackMap stack:
         3: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            goto 5
      StackMap locals:
      StackMap stack:
         4: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
      StackMap locals:
      StackMap stack: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula
         5: areturn
         6: .line 72
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isPrimitiveType:()Z
            ifeq 9
         7: .line 73
            aload 1 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.computeBoxingType:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 2 /* sPrime */
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding sPrime
         8: .line 74
            aload 2 /* sPrime */
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_1
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding sPrime
         9: .line 76
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isPrimitiveType:()Z
            ifeq 12
        10: .line 77
            aload 1 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.computeBoxingType:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 2 /* tPrime */
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding tPrime
        11: .line 78
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 2 /* tPrime */
            iconst_4
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding tPrime
        12: .line 80
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
            lookupswitch { // 2
                   68: 13
                  260: 15
              default: 19
          }
        13: .line 82
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
            sipush 260
            if_icmpeq 15
        14: .line 83
            goto 19
        15: .line 88
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.findSuperTypeOriginatingFrom:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 2 /* gs */
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding gs
        16: .line 89
            aload 2 /* gs */
            ifnull 19
            aload 2 /* gs */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isRawType:()Z
            ifeq 19
        17: .line 90
            aload 1 /* inferenceContext */
            aload 0 /* this */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.recordUncheckedConversion:(Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;)V
        18: .line 91
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding gs
        19: .line 96
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_2
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        20: .line 99
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            aload 1 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.reduceSubType:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Ljava/lang/Object;
            areturn
        21: .line 102
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            aload 1 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.reduceSubType:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Ljava/lang/Object;
            areturn
        22: .line 104
      StackMap locals:
      StackMap stack:
            aload 1 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            getfield org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.globalOptions:Lorg/eclipse/jdt/internal/compiler/impl/CompilerOptions;
            getfield org.eclipse.jdt.internal.compiler.impl.CompilerOptions.isAnnotationBasedNullAnalysisEnabled:Z
            ifeq 25
        23: .line 105
            aload 0 /* this */
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.checkIVFreeTVmatch:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifne 25
        24: .line 106
            aload 0 /* this */
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.checkIVFreeTVmatch:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            pop
        25: .line 108
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            aload 1 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.object:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            aload 1 /* inferenceContext */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.reduceTypeEquality:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/lang/Object;
            areturn
        26: .line 111
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
            sipush 516
            if_icmpeq 32
        27: .line 112
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
            sipush 516
            if_icmpeq 29
        28: .line 113
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_4
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        29: .line 116
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            ifeq 31
        30: .line 117
            new org.eclipse.jdt.internal.compiler.lookup.TypeBound
            dup
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            checkcast org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_4
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokespecial org.eclipse.jdt.internal.compiler.lookup.TypeBound.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
            areturn
        31: .line 118
      StackMap locals:
      StackMap stack:
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        32: .line 121
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            checkcast org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
            astore 2 /* t */
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.WildcardBinding t
        33: .line 122
            aload 2 /* t */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
            ifne 35
        34: .line 123
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        35: .line 124
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
      StackMap stack:
            aload 2 /* t */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
            iconst_1
            if_icmpne 44
        36: .line 125
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
            sipush 516
            if_icmpeq 38
        37: .line 126
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 2 /* t */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_2
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        38: .line 128
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            checkcast org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
            astore 3 /* s */
        start local 3 // org.eclipse.jdt.internal.compiler.lookup.WildcardBinding s
        39: .line 129
            aload 3 /* s */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
            tableswitch { // 0 - 2
                    0: 40
                    1: 41
                    2: 42
              default: 43
          }
        40: .line 131
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
      StackMap stack:
            aload 1 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.object:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            aload 2 /* t */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_2
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        41: .line 133
      StackMap locals:
      StackMap stack:
            aload 3 /* s */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 2 /* t */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_2
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        42: .line 135
      StackMap locals:
      StackMap stack:
            aload 1 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.object:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            aload 2 /* t */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_4
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        43: .line 137
      StackMap locals:
      StackMap stack:
            new java.lang.IllegalArgumentException
            dup
            new java.lang.StringBuilder
            dup
            ldc "Unexpected boundKind "
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 3 /* s */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
            invokevirtual java.lang.StringBuilder.append:(I)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            invokespecial java.lang.IllegalArgumentException.<init>:(Ljava/lang/String;)V
            athrow
        end local 3 // org.eclipse.jdt.internal.compiler.lookup.WildcardBinding s
        44: .line 141
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
            sipush 516
            if_icmpeq 46
        45: .line 142
            aload 2 /* t */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_2
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        46: .line 144
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            checkcast org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
            astore 3 /* s */
        start local 3 // org.eclipse.jdt.internal.compiler.lookup.WildcardBinding s
        47: .line 145
            aload 3 /* s */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
            iconst_2
            if_icmpne 49
        48: .line 146
            aload 2 /* t */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 3 /* s */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_2
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        49: .line 148
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
      StackMap stack:
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        end local 3 // org.eclipse.jdt.internal.compiler.lookup.WildcardBinding s
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.WildcardBinding t
        50: .line 153
      StackMap locals:
      StackMap stack:
            new java.lang.IllegalStateException
            dup
            new java.lang.StringBuilder
            dup
            ldc "Unexpected relation kind "
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.relation:I
            invokevirtual java.lang.StringBuilder.append:(I)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            invokespecial java.lang.IllegalStateException.<init>:(Ljava/lang/String;)V
            athrow
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 inferenceContext
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula this
      LocalVariableTable:
        Start  End  Slot              Name  Signature
            0   51     0              this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            0   51     1  inferenceContext  Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
            8    9     2            sPrime  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           11   12     2            tPrime  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           16   19     2                gs  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           33   50     2                 t  Lorg/eclipse/jdt/internal/compiler/lookup/WildcardBinding;
           39   44     3                 s  Lorg/eclipse/jdt/internal/compiler/lookup/WildcardBinding;
           47   50     3                 s  Lorg/eclipse/jdt/internal/compiler/lookup/WildcardBinding;
    MethodParameters:
                  Name  Flags
      inferenceContext  

  boolean checkIVFreeTVmatch(org.eclipse.jdt.internal.compiler.lookup.TypeBinding, org.eclipse.jdt.internal.compiler.lookup.TypeBinding);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
    flags: (0x0000) 
    Code:
      stack=4, locals=3, args_size=3
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding one
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding two
         0: .line 159
            aload 1 /* one */
            instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            ifeq 3
            aload 2 /* two */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isTypeVariable:()Z
            ifeq 3
            aload 2 /* two */
            getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.tagBits:J
            ldc 108086391056891904
            land
            lconst_0
            lcmp
            ifne 3
         1: .line 161
            aload 1 /* one */
            checkcast org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            ldc 108086391056891904
            putfield org.eclipse.jdt.internal.compiler.lookup.InferenceVariable.nullHints:J
         2: .line 162
            iconst_1
            ireturn
         3: .line 164
      StackMap locals:
      StackMap stack:
            iconst_0
            ireturn
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding two
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding one
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    4     0  this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            0    4     1   one  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            0    4     2   two  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
    MethodParameters:
      Name  Flags
      one   
      two   

  private java.lang.Object reduceTypeEquality(org.eclipse.jdt.internal.compiler.lookup.TypeBinding, org.eclipse.jdt.internal.compiler.lookup.InferenceContext18);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/lang/Object;
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=6, locals=8, args_size=3
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding object
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 inferenceContext
         0: .line 169
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
            sipush 516
            if_icmpne 13
         1: .line 170
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
            sipush 516
            if_icmpne 50
         2: .line 172
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            checkcast org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
            astore 3 /* leftWC */
        start local 3 // org.eclipse.jdt.internal.compiler.lookup.WildcardBinding leftWC
         3: .line 173
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            checkcast org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
            astore 4 /* rightWC */
        start local 4 // org.eclipse.jdt.internal.compiler.lookup.WildcardBinding rightWC
         4: .line 174
            aload 3 /* leftWC */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
            ifne 6
            aload 4 /* rightWC */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
            ifne 6
         5: .line 175
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
         6: .line 176
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.WildcardBinding org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
      StackMap stack:
            aload 3 /* leftWC */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
            ifne 8
            aload 4 /* rightWC */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
            iconst_1
            if_icmpne 8
         7: .line 177
            aload 1 /* object */
            aload 4 /* rightWC */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_4
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
         8: .line 178
      StackMap locals:
      StackMap stack:
            aload 3 /* leftWC */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
            iconst_1
            if_icmpne 10
            aload 4 /* rightWC */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
            ifne 10
         9: .line 179
            aload 3 /* leftWC */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 1 /* object */
            iconst_4
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        10: .line 180
      StackMap locals:
      StackMap stack:
            aload 3 /* leftWC */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
            iconst_1
            if_icmpne 11
            aload 4 /* rightWC */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
            iconst_1
            if_icmpeq 12
        11: .line 181
      StackMap locals:
      StackMap stack:
            aload 3 /* leftWC */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
            iconst_2
            if_icmpne 50
            aload 4 /* rightWC */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
            iconst_2
            if_icmpne 50
        12: .line 183
      StackMap locals:
      StackMap stack:
            aload 3 /* leftWC */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 4 /* rightWC */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_4
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        end local 4 // org.eclipse.jdt.internal.compiler.lookup.WildcardBinding rightWC
        end local 3 // org.eclipse.jdt.internal.compiler.lookup.WildcardBinding leftWC
        13: .line 187
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
            sipush 516
            if_icmpeq 50
        14: .line 189
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
            ifeq 18
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
            ifeq 18
        15: .line 190
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifeq 17
        16: .line 191
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        17: .line 192
      StackMap locals:
      StackMap stack:
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        18: .line 194
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.id:I
            bipush 12
            if_icmpeq 19
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.id:I
            bipush 12
            if_icmpne 20
        19: .line 195
      StackMap locals:
      StackMap stack:
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        20: .line 197
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            ifeq 22
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isPrimitiveType:()Z
            ifne 22
        21: .line 198
            new org.eclipse.jdt.internal.compiler.lookup.TypeBound
            dup
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            checkcast org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_4
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokespecial org.eclipse.jdt.internal.compiler.lookup.TypeBound.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
            areturn
        22: .line 200
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            ifeq 24
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isPrimitiveType:()Z
            ifne 24
        23: .line 201
            new org.eclipse.jdt.internal.compiler.lookup.TypeBound
            dup
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            checkcast org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_4
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokespecial org.eclipse.jdt.internal.compiler.lookup.TypeBound.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
            areturn
        24: .line 203
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isClass:()Z
            ifne 25
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isInterface:()Z
            ifeq 43
        25: .line 204
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isClass:()Z
            ifne 26
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isInterface:()Z
            ifeq 43
        26: .line 205
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.erasure:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.erasure:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifeq 43
        27: .line 207
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.typeArguments:()[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 3 /* leftParams */
        start local 3 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] leftParams
        28: .line 208
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.typeArguments:()[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 4 /* rightParams */
        start local 4 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] rightParams
        29: .line 209
            aload 3 /* leftParams */
            ifnull 30
            aload 4 /* rightParams */
            ifnonnull 33
        30: .line 210
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.lookup.TypeBinding[]
      StackMap stack:
            aload 3 /* leftParams */
            aload 4 /* rightParams */
            if_acmpne 31
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            goto 32
      StackMap locals:
      StackMap stack:
        31: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
      StackMap locals:
      StackMap stack: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula
        32: areturn
        33: .line 211
      StackMap locals:
      StackMap stack:
            aload 3 /* leftParams */
            arraylength
            aload 4 /* rightParams */
            arraylength
            if_icmpeq 35
        34: .line 212
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        35: .line 213
      StackMap locals:
      StackMap stack:
            aload 3 /* leftParams */
            arraylength
            istore 5 /* len */
        start local 5 // int len
        36: .line 214
            iload 5 /* len */
            anewarray org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula
            astore 6 /* constraints */
        start local 6 // org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula[] constraints
        37: .line 215
            iconst_0
            istore 7 /* i */
        start local 7 // int i
        38: goto 41
        39: .line 216
      StackMap locals: int org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula[] int
      StackMap stack:
            aload 6 /* constraints */
            iload 7 /* i */
            aload 3 /* leftParams */
            iload 7 /* i */
            aaload
            aload 4 /* rightParams */
            iload 7 /* i */
            aaload
            iconst_4
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            aastore
        40: .line 215
            iinc 7 /* i */ 1
      StackMap locals:
      StackMap stack:
        41: iload 7 /* i */
            iload 5 /* len */
            if_icmplt 39
        end local 7 // int i
        42: .line 218
            aload 6 /* constraints */
            areturn
        end local 6 // org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula[] constraints
        end local 5 // int len
        end local 4 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] rightParams
        end local 3 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] leftParams
        43: .line 220
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.InferenceContext18
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isArrayType:()Z
            ifeq 50
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isArrayType:()Z
            ifeq 50
        44: .line 221
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.dimensions:()I
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.dimensions:()I
            if_icmpne 46
        45: .line 223
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_4
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        46: .line 224
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.dimensions:()I
            ifle 50
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.dimensions:()I
            ifle 50
        47: .line 225
            aload 0 /* this */
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 2 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.peelOneDimension:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 3 /* leftPrime */
        start local 3 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding leftPrime
        48: .line 226
            aload 0 /* this */
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 2 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.peelOneDimension:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 4 /* rightPrime */
        start local 4 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding rightPrime
        49: .line 227
            aload 3 /* leftPrime */
            aload 4 /* rightPrime */
            iconst_4
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        end local 4 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding rightPrime
        end local 3 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding leftPrime
        50: .line 232
      StackMap locals:
      StackMap stack:
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 inferenceContext
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding object
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula this
      LocalVariableTable:
        Start  End  Slot              Name  Signature
            0   51     0              this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            0   51     1            object  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            0   51     2  inferenceContext  Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
            3   13     3            leftWC  Lorg/eclipse/jdt/internal/compiler/lookup/WildcardBinding;
            4   13     4           rightWC  Lorg/eclipse/jdt/internal/compiler/lookup/WildcardBinding;
           28   43     3        leftParams  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           29   43     4       rightParams  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           36   43     5               len  I
           37   43     6       constraints  [Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;
           38   42     7                 i  I
           48   50     3         leftPrime  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           49   50     4        rightPrime  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
    MethodParameters:
                  Name  Flags
      object            
      inferenceContext  

  private org.eclipse.jdt.internal.compiler.lookup.TypeBinding peelOneDimension(org.eclipse.jdt.internal.compiler.lookup.TypeBinding, org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=4, locals=3, args_size=3
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding arrayType
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment env
         0: .line 236
            aload 1 /* arrayType */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.dimensions:()I
            iconst_1
            if_icmpne 2
         1: .line 237
            aload 1 /* arrayType */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            areturn
         2: .line 238
      StackMap locals:
      StackMap stack:
            aload 2 /* env */
            aload 1 /* arrayType */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 1 /* arrayType */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.dimensions:()I
            iconst_1
            isub
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.createArrayType:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)Lorg/eclipse/jdt/internal/compiler/lookup/ArrayBinding;
            areturn
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment env
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding arrayType
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula this
      LocalVariableTable:
        Start  End  Slot       Name  Signature
            0    3     0       this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            0    3     1  arrayType  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            0    3     2        env  Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
    MethodParameters:
           Name  Flags
      arrayType  
      env        

  private java.lang.Object reduceSubType(org.eclipse.jdt.internal.compiler.lookup.Scope, org.eclipse.jdt.internal.compiler.lookup.TypeBinding, org.eclipse.jdt.internal.compiler.lookup.TypeBinding);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/Scope;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Ljava/lang/Object;
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=7, locals=14, args_size=4
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.Scope scope
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding subCandidate
        start local 3 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding superCandidate
         0: .line 243
            aload 2 /* subCandidate */
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
            ifeq 4
            aload 3 /* superCandidate */
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
            ifeq 4
         1: .line 244
            aload 2 /* subCandidate */
            aload 3 /* superCandidate */
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isSubtypeOf:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Z)Z
            ifeq 3
         2: .line 245
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
         3: .line 246
      StackMap locals:
      StackMap stack:
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
         4: .line 248
      StackMap locals:
      StackMap stack:
            aload 2 /* subCandidate */
            getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.id:I
            bipush 12
            if_icmpne 6
         5: .line 249
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
         6: .line 250
      StackMap locals:
      StackMap stack:
            aload 3 /* superCandidate */
            getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.id:I
            bipush 12
            if_icmpne 8
         7: .line 251
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
         8: .line 252
      StackMap locals:
      StackMap stack:
            aload 2 /* subCandidate */
            instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            ifeq 10
         9: .line 253
            new org.eclipse.jdt.internal.compiler.lookup.TypeBound
            dup
            aload 2 /* subCandidate */
            checkcast org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            aload 3 /* superCandidate */
            iconst_2
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokespecial org.eclipse.jdt.internal.compiler.lookup.TypeBound.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
            areturn
        10: .line 254
      StackMap locals:
      StackMap stack:
            aload 3 /* superCandidate */
            instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            ifeq 12
        11: .line 255
            new org.eclipse.jdt.internal.compiler.lookup.TypeBound
            dup
            aload 3 /* superCandidate */
            checkcast org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            aload 2 /* subCandidate */
            iconst_3
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokespecial org.eclipse.jdt.internal.compiler.lookup.TypeBound.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
            areturn
        12: .line 256
      StackMap locals:
      StackMap stack:
            aload 3 /* superCandidate */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
            lookupswitch { // 10
                    4: 13
                   68: 29
                  260: 16
                  516: 49
                 1028: 13
                 2052: 13
                 4100: 62
                 8196: 76
                32772: 77
                65540: 85
              default: 94
          }
        13: .line 261
      StackMap locals:
      StackMap stack:
            aload 2 /* subCandidate */
            aload 3 /* superCandidate */
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isSubtypeOf:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Z)Z
            ifeq 15
        14: .line 262
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        15: .line 263
      StackMap locals:
      StackMap stack:
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        16: .line 267
      StackMap locals:
      StackMap stack:
            new java.util.ArrayList
            dup
            invokespecial java.util.ArrayList.<init>:()V
            astore 4 /* constraints */
        start local 4 // java.util.List constraints
        17: .line 268
            iconst_1
            istore 5 /* isFirst */
        start local 5 // boolean isFirst
        18: .line 269
            goto 24
        19: .line 270
      StackMap locals: java.util.List int
      StackMap stack:
            aload 0 /* this */
            aload 2 /* subCandidate */
            aload 3 /* superCandidate */
            checkcast org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding
            aload 4 /* constraints */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.addConstraintsFromTypeParameters:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;Ljava/util/List;)Z
            ifne 21
        20: .line 271
            iload 5 /* isFirst */
            ifeq 21
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        21: .line 272
      StackMap locals:
      StackMap stack:
            iconst_0
            istore 5 /* isFirst */
        22: .line 274
            aload 3 /* superCandidate */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.enclosingType:()Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            astore 3 /* superCandidate */
        23: .line 275
            aload 2 /* subCandidate */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.enclosingType:()Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            astore 2 /* subCandidate */
        24: .line 269
      StackMap locals:
      StackMap stack:
            aload 3 /* superCandidate */
            ifnull 25
            aload 3 /* superCandidate */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
            sipush 260
            if_icmpne 25
            aload 2 /* subCandidate */
            ifnonnull 19
        25: .line 277
      StackMap locals:
      StackMap stack:
            aload 4 /* constraints */
            invokeinterface java.util.List.size:()I
            tableswitch { // 0 - 1
                    0: 26
                    1: 27
              default: 28
          }
        26: .line 278
      StackMap locals:
      StackMap stack:
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        27: .line 279
      StackMap locals:
      StackMap stack:
            aload 4 /* constraints */
            iconst_0
            invokeinterface java.util.List.get:(I)Ljava/lang/Object;
            areturn
        28: .line 280
      StackMap locals:
      StackMap stack:
            aload 4 /* constraints */
            aload 4 /* constraints */
            invokeinterface java.util.List.size:()I
            anewarray org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula
            invokeinterface java.util.List.toArray:([Ljava/lang/Object;)[Ljava/lang/Object;
            areturn
        end local 5 // boolean isFirst
        end local 4 // java.util.List constraints
        29: .line 284
      StackMap locals:
      StackMap stack:
            aload 3 /* superCandidate */
            checkcast org.eclipse.jdt.internal.compiler.lookup.ArrayBinding
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ArrayBinding.elementsType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 4 /* tPrime */
        start local 4 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding tPrime
        30: .line 286
            aconst_null
            astore 5 /* sPrimeArray */
        start local 5 // org.eclipse.jdt.internal.compiler.lookup.ArrayBinding sPrimeArray
        31: .line 287
            aload 2 /* subCandidate */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
            lookupswitch { // 3
                   68: 35
                 4100: 37
                 8196: 32
              default: 40
          }
        32: .line 290
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.ArrayBinding
      StackMap stack:
            aload 2 /* subCandidate */
            checkcast org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
            astore 6 /* intersection */
        start local 6 // org.eclipse.jdt.internal.compiler.lookup.WildcardBinding intersection
        33: .line 291
            aload 0 /* this */
            aload 6 /* intersection */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 6 /* intersection */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.otherBounds:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 6 /* intersection */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.findMostSpecificSuperArray:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ArrayBinding;
            astore 5 /* sPrimeArray */
        34: .line 292
            goto 41
        end local 6 // org.eclipse.jdt.internal.compiler.lookup.WildcardBinding intersection
        35: .line 295
      StackMap locals:
      StackMap stack:
            aload 2 /* subCandidate */
            checkcast org.eclipse.jdt.internal.compiler.lookup.ArrayBinding
            astore 5 /* sPrimeArray */
        36: .line 296
            goto 41
        37: .line 299
      StackMap locals:
      StackMap stack:
            aload 2 /* subCandidate */
            checkcast org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding
            astore 6 /* subTVB */
        start local 6 // org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding subTVB
        38: .line 300
            aload 0 /* this */
            aload 6 /* subTVB */
            getfield org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding.firstBound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 6 /* subTVB */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding.otherUpperBounds:()[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 6 /* subTVB */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.findMostSpecificSuperArray:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ArrayBinding;
            astore 5 /* sPrimeArray */
        39: .line 301
            goto 41
        end local 6 // org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding subTVB
        40: .line 304
      StackMap locals:
      StackMap stack:
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        41: .line 306
      StackMap locals:
      StackMap stack:
            aload 5 /* sPrimeArray */
            ifnonnull 43
        42: .line 307
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        43: .line 308
      StackMap locals:
      StackMap stack:
            aload 5 /* sPrimeArray */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ArrayBinding.elementsType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 6 /* sPrime */
        start local 6 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding sPrime
        44: .line 309
            aload 4 /* tPrime */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isPrimitiveType:()Z
            ifne 46
            aload 6 /* sPrime */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isPrimitiveType:()Z
            ifne 46
        45: .line 310
            aload 6 /* sPrime */
            aload 4 /* tPrime */
            iconst_2
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        46: .line 312
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap stack:
            aload 4 /* tPrime */
            aload 6 /* sPrime */
            invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifeq 47
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            goto 48
      StackMap locals:
      StackMap stack:
        47: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
      StackMap locals:
      StackMap stack: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula
        48: areturn
        end local 6 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding sPrime
        end local 5 // org.eclipse.jdt.internal.compiler.lookup.ArrayBinding sPrimeArray
        end local 4 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding tPrime
        49: .line 316
      StackMap locals:
      StackMap stack:
            aload 2 /* subCandidate */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
            sipush 8196
            if_icmpne 58
        50: .line 317
            aload 2 /* subCandidate */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.getIntersectingTypes:()[Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            astore 7 /* intersectingTypes */
        start local 7 // org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding[] intersectingTypes
        51: .line 318
            aload 7 /* intersectingTypes */
            ifnull 58
        52: .line 319
            iconst_0
            istore 8 /* i */
        start local 8 // int i
        53: goto 57
        54: .line 320
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding top top top org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding[] int
      StackMap stack:
            aload 7 /* intersectingTypes */
            iload 8 /* i */
            aaload
            aload 3 /* superCandidate */
            invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifeq 56
        55: .line 321
            iconst_1
            invokestatic java.lang.Boolean.valueOf:(Z)Ljava/lang/Boolean;
            areturn
        56: .line 319
      StackMap locals:
      StackMap stack:
            iinc 8 /* i */ 1
      StackMap locals:
      StackMap stack:
        57: iload 8 /* i */
            aload 7 /* intersectingTypes */
            arraylength
            if_icmplt 54
        end local 8 // int i
        end local 7 // org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding[] intersectingTypes
        58: .line 323
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap stack:
            aload 3 /* superCandidate */
            checkcast org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
            astore 7 /* variable */
        start local 7 // org.eclipse.jdt.internal.compiler.lookup.WildcardBinding variable
        59: .line 324
            aload 7 /* variable */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
            iconst_2
            if_icmpne 61
        60: .line 325
            aload 2 /* subCandidate */
            aload 7 /* variable */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_2
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        61: .line 326
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding top top top org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
      StackMap stack:
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        end local 7 // org.eclipse.jdt.internal.compiler.lookup.WildcardBinding variable
        62: .line 329
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap stack:
            aload 2 /* subCandidate */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
            sipush 8196
            if_icmpne 71
        63: .line 330
            aload 2 /* subCandidate */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.getIntersectingTypes:()[Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            astore 8 /* intersectingTypes */
        start local 8 // org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding[] intersectingTypes
        64: .line 331
            aload 8 /* intersectingTypes */
            ifnull 71
        65: .line 332
            iconst_0
            istore 9 /* i */
        start local 9 // int i
        66: goto 70
        67: .line 333
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding top top top top org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding[] int
      StackMap stack:
            aload 8 /* intersectingTypes */
            iload 9 /* i */
            aaload
            aload 3 /* superCandidate */
            invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifeq 69
        68: .line 334
            iconst_1
            invokestatic java.lang.Boolean.valueOf:(Z)Ljava/lang/Boolean;
            areturn
        69: .line 332
      StackMap locals:
      StackMap stack:
            iinc 9 /* i */ 1
      StackMap locals:
      StackMap stack:
        70: iload 9 /* i */
            aload 8 /* intersectingTypes */
            arraylength
            if_icmplt 67
        end local 9 // int i
        end local 8 // org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding[] intersectingTypes
        71: .line 336
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap stack:
            aload 3 /* superCandidate */
            instanceof org.eclipse.jdt.internal.compiler.lookup.CaptureBinding
            ifeq 75
        72: .line 337
            aload 3 /* superCandidate */
            checkcast org.eclipse.jdt.internal.compiler.lookup.CaptureBinding
            astore 8 /* capture */
        start local 8 // org.eclipse.jdt.internal.compiler.lookup.CaptureBinding capture
        73: .line 338
            aload 8 /* capture */
            getfield org.eclipse.jdt.internal.compiler.lookup.CaptureBinding.lowerBound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            ifnull 75
        74: .line 339
            aload 2 /* subCandidate */
            aload 8 /* capture */
            getfield org.eclipse.jdt.internal.compiler.lookup.CaptureBinding.lowerBound:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_2
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        end local 8 // org.eclipse.jdt.internal.compiler.lookup.CaptureBinding capture
        75: .line 341
      StackMap locals:
      StackMap stack:
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        76: .line 343
      StackMap locals:
      StackMap stack:
            aload 3 /* superCandidate */
            checkcast org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.allBounds:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 3 /* superCandidate */
        77: .line 346
      StackMap locals:
      StackMap stack:
            aload 3 /* superCandidate */
            checkcast org.eclipse.jdt.internal.compiler.lookup.IntersectionTypeBinding18
            getfield org.eclipse.jdt.internal.compiler.lookup.IntersectionTypeBinding18.intersectingTypes:[Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            astore 8 /* intersectingTypes */
        start local 8 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] intersectingTypes
        78: .line 347
            aload 8 /* intersectingTypes */
            arraylength
            anewarray org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula
            astore 9 /* result */
        start local 9 // org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula[] result
        79: .line 348
            iconst_0
            istore 10 /* i */
        start local 10 // int i
        80: goto 83
        81: .line 349
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding top top top top org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula[] int
      StackMap stack:
            aload 9 /* result */
            iload 10 /* i */
            aload 2 /* subCandidate */
            aload 8 /* intersectingTypes */
            iload 10 /* i */
            aaload
            iconst_2
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            aastore
        82: .line 348
            iinc 10 /* i */ 1
      StackMap locals:
      StackMap stack:
        83: iload 10 /* i */
            aload 8 /* intersectingTypes */
            arraylength
            if_icmplt 81
        end local 10 // int i
        84: .line 351
            aload 9 /* result */
            areturn
        end local 9 // org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula[] result
        end local 8 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] intersectingTypes
        85: .line 353
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap stack:
            aload 3 /* superCandidate */
            checkcast org.eclipse.jdt.internal.compiler.lookup.PolyTypeBinding
            astore 10 /* poly */
        start local 10 // org.eclipse.jdt.internal.compiler.lookup.PolyTypeBinding poly
        86: .line 354
            aload 10 /* poly */
            getfield org.eclipse.jdt.internal.compiler.lookup.PolyTypeBinding.expression:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            checkcast org.eclipse.jdt.internal.compiler.ast.Invocation
            astore 11 /* invocation */
        start local 11 // org.eclipse.jdt.internal.compiler.ast.Invocation invocation
        87: .line 355
            aload 11 /* invocation */
            invokeinterface org.eclipse.jdt.internal.compiler.ast.Invocation.binding:()Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            astore 12 /* binding */
        start local 12 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding binding
        88: .line 356
            aload 12 /* binding */
            ifnull 89
            aload 12 /* binding */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isValidBinding:()Z
            ifne 90
        89: .line 357
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding top top top top top top org.eclipse.jdt.internal.compiler.lookup.PolyTypeBinding org.eclipse.jdt.internal.compiler.ast.Invocation org.eclipse.jdt.internal.compiler.lookup.MethodBinding
      StackMap stack:
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        90: .line 358
      StackMap locals:
      StackMap stack:
            aload 12 /* binding */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isConstructor:()Z
            ifeq 91
            aload 12 /* binding */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.declaringClass:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            goto 92
      StackMap locals:
      StackMap stack:
        91: aload 12 /* binding */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
      StackMap locals:
      StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
        92: astore 13 /* returnType */
        start local 13 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding returnType
        93: .line 359
            aload 0 /* this */
            aload 1 /* scope */
            aload 2 /* subCandidate */
            aload 13 /* returnType */
            aload 1 /* scope */
            aload 11 /* invocation */
            invokeinterface org.eclipse.jdt.internal.compiler.ast.Invocation.sourceStart:()I
            aload 11 /* invocation */
            invokeinterface org.eclipse.jdt.internal.compiler.ast.Invocation.sourceEnd:()I
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.capture:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;II)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.reduceSubType:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Ljava/lang/Object;
            areturn
        end local 13 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding returnType
        end local 12 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding binding
        end local 11 // org.eclipse.jdt.internal.compiler.ast.Invocation invocation
        end local 10 // org.eclipse.jdt.internal.compiler.lookup.PolyTypeBinding poly
        94: .line 361
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap stack:
            new java.lang.IllegalStateException
            dup
            new java.lang.StringBuilder
            dup
            ldc "Unexpected RHS "
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 3 /* superCandidate */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/Object;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            invokespecial java.lang.IllegalStateException.<init>:(Ljava/lang/String;)V
            athrow
        end local 3 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding superCandidate
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding subCandidate
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.Scope scope
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula this
      LocalVariableTable:
        Start  End  Slot               Name  Signature
            0   95     0               this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            0   95     1              scope  Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            0   95     2       subCandidate  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            0   95     3     superCandidate  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           17   29     4        constraints  Ljava/util/List<Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;>;
           18   29     5            isFirst  Z
           30   49     4             tPrime  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           31   49     5        sPrimeArray  Lorg/eclipse/jdt/internal/compiler/lookup/ArrayBinding;
           33   35     6       intersection  Lorg/eclipse/jdt/internal/compiler/lookup/WildcardBinding;
           38   40     6             subTVB  Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
           44   49     6             sPrime  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           51   58     7  intersectingTypes  [Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
           53   58     8                  i  I
           59   62     7           variable  Lorg/eclipse/jdt/internal/compiler/lookup/WildcardBinding;
           64   71     8  intersectingTypes  [Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
           66   71     9                  i  I
           73   75     8            capture  Lorg/eclipse/jdt/internal/compiler/lookup/CaptureBinding;
           78   85     8  intersectingTypes  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           79   85     9             result  [Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;
           80   84    10                  i  I
           86   94    10               poly  Lorg/eclipse/jdt/internal/compiler/lookup/PolyTypeBinding;
           87   94    11         invocation  Lorg/eclipse/jdt/internal/compiler/ast/Invocation;
           88   94    12            binding  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
           93   94    13         returnType  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
    MethodParameters:
                Name  Flags
      scope           
      subCandidate    
      superCandidate  

  private org.eclipse.jdt.internal.compiler.lookup.ArrayBinding findMostSpecificSuperArray(org.eclipse.jdt.internal.compiler.lookup.TypeBinding, org.eclipse.jdt.internal.compiler.lookup.TypeBinding[], org.eclipse.jdt.internal.compiler.lookup.TypeBinding);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ArrayBinding;
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=2, locals=7, args_size=4
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding firstBound
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] otherUpperBounds
        start local 3 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding theType
         0: .line 365
            iconst_0
            istore 4 /* numArrayBounds */
        start local 4 // int numArrayBounds
         1: .line 366
            aconst_null
            astore 5 /* result */
        start local 5 // org.eclipse.jdt.internal.compiler.lookup.ArrayBinding result
         2: .line 367
            aload 1 /* firstBound */
            ifnull 5
            aload 1 /* firstBound */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isArrayType:()Z
            ifeq 5
         3: .line 368
            aload 1 /* firstBound */
            checkcast org.eclipse.jdt.internal.compiler.lookup.ArrayBinding
            astore 5 /* result */
         4: .line 369
            iinc 4 /* numArrayBounds */ 1
         5: .line 371
      StackMap locals: int org.eclipse.jdt.internal.compiler.lookup.ArrayBinding
      StackMap stack:
            iconst_0
            istore 6 /* i */
        start local 6 // int i
         6: goto 11
         7: .line 372
      StackMap locals: int
      StackMap stack:
            aload 2 /* otherUpperBounds */
            iload 6 /* i */
            aaload
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isArrayType:()Z
            ifeq 10
         8: .line 373
            aload 2 /* otherUpperBounds */
            iload 6 /* i */
            aaload
            checkcast org.eclipse.jdt.internal.compiler.lookup.ArrayBinding
            astore 5 /* result */
         9: .line 374
            iinc 4 /* numArrayBounds */ 1
        10: .line 371
      StackMap locals:
      StackMap stack:
            iinc 6 /* i */ 1
      StackMap locals:
      StackMap stack:
        11: iload 6 /* i */
            aload 2 /* otherUpperBounds */
            arraylength
            if_icmplt 7
        end local 6 // int i
        12: .line 377
            iload 4 /* numArrayBounds */
            ifne 14
        13: .line 378
            aconst_null
            areturn
        14: .line 379
      StackMap locals:
      StackMap stack:
            iload 4 /* numArrayBounds */
            iconst_1
            if_icmpne 16
        15: .line 380
            aload 5 /* result */
            areturn
        16: .line 381
      StackMap locals:
      StackMap stack:
            ldc "Extracting array from intersection is not defined"
            invokestatic org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.missingImplementation:(Ljava/lang/String;)V
        17: .line 382
            aconst_null
            areturn
        end local 5 // org.eclipse.jdt.internal.compiler.lookup.ArrayBinding result
        end local 4 // int numArrayBounds
        end local 3 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding theType
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] otherUpperBounds
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding firstBound
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula this
      LocalVariableTable:
        Start  End  Slot              Name  Signature
            0   18     0              this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            0   18     1        firstBound  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            0   18     2  otherUpperBounds  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            0   18     3           theType  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            1   18     4    numArrayBounds  I
            2   18     5            result  Lorg/eclipse/jdt/internal/compiler/lookup/ArrayBinding;
            6   12     6                 i  I
    MethodParameters:
                  Name  Flags
      firstBound        
      otherUpperBounds  
      theType           

  boolean addConstraintsFromTypeParameters(org.eclipse.jdt.internal.compiler.lookup.TypeBinding, org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding, java.util.List<org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula>);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;Ljava/util/List;)Z
    flags: (0x0000) 
    Code:
      stack=5, locals=8, args_size=4
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding subCandidate
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding ca
        start local 3 // java.util.List constraints
         0: .line 386
            aload 1 /* subCandidate */
            aload 2 /* ca */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.findSuperTypeOriginatingFrom:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 4 /* cb */
        start local 4 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding cb
         1: .line 387
            aload 4 /* cb */
            ifnonnull 3
         2: .line 388
            iconst_0
            ireturn
         3: .line 389
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap stack:
            aload 2 /* ca */
            aload 4 /* cb */
            invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifeq 5
         4: .line 390
            iconst_1
            ireturn
         5: .line 391
      StackMap locals:
      StackMap stack:
            aload 4 /* cb */
            instanceof org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding
            ifne 7
         6: .line 393
            aload 2 /* ca */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.isParameterizedWithOwnVariables:()Z
            ireturn
         7: .line 395
      StackMap locals:
      StackMap stack:
            aload 4 /* cb */
            checkcast org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding
            getfield org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.arguments:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 5 /* bi */
        start local 5 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] bi
         8: .line 396
            aload 2 /* ca */
            getfield org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.arguments:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 6 /* ai */
        start local 6 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] ai
         9: .line 397
            aload 6 /* ai */
            ifnonnull 11
        10: .line 398
            iconst_1
            ireturn
        11: .line 399
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.lookup.TypeBinding[]
      StackMap stack:
            aload 4 /* cb */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isRawType:()Z
            ifne 12
            aload 5 /* bi */
            ifnull 12
            aload 5 /* bi */
            arraylength
            ifne 15
        12: .line 400
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            ifeq 13
            iconst_1
            goto 14
      StackMap locals:
      StackMap stack:
        13: iconst_0
      StackMap locals:
      StackMap stack: int
        14: ireturn
        15: .line 401
      StackMap locals:
      StackMap stack:
            iconst_0
            istore 7 /* i */
        start local 7 // int i
        16: goto 19
        17: .line 402
      StackMap locals: int
      StackMap stack:
            aload 3 /* constraints */
            aload 5 /* bi */
            iload 7 /* i */
            aaload
            aload 6 /* ai */
            iload 7 /* i */
            aaload
            iconst_5
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            invokeinterface java.util.List.add:(Ljava/lang/Object;)Z
            pop
        18: .line 401
            iinc 7 /* i */ 1
      StackMap locals:
      StackMap stack:
        19: iload 7 /* i */
            aload 6 /* ai */
            arraylength
            if_icmplt 17
        end local 7 // int i
        20: .line 403
            iconst_1
            ireturn
        end local 6 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] ai
        end local 5 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] bi
        end local 4 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding cb
        end local 3 // java.util.List constraints
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding ca
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding subCandidate
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula this
      LocalVariableTable:
        Start  End  Slot          Name  Signature
            0   21     0          this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            0   21     1  subCandidate  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            0   21     2            ca  Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
            0   21     3   constraints  Ljava/util/List<Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;>;
            1   21     4            cb  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            8   21     5            bi  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            9   21     6            ai  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           16   20     7             i  I
    Signature: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;Ljava/util/List<Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;>;)Z
    MethodParameters:
              Name  Flags
      subCandidate  
      ca            
      constraints   

  public boolean equalsEquals(org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;)Z
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=2, locals=2, args_size=2
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula that
         0: .line 407
            aload 1 /* that */
            ifnull 3
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.relation:I
            aload 1 /* that */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.relation:I
            if_icmpne 3
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            aload 1 /* that */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.isSoft:Z
            if_icmpne 3
         1: .line 408
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 1 /* that */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifeq 3
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 1 /* that */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifeq 3
         2: .line 407
            iconst_1
            ireturn
      StackMap locals:
      StackMap stack:
         3: iconst_0
            ireturn
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula that
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    4     0  this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            0    4     1  that  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
    MethodParameters:
      Name  Flags
      that  

  public boolean applySubstitution(org.eclipse.jdt.internal.compiler.lookup.BoundSet, org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[]);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;[Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)Z
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=4, locals=6, args_size=3
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.BoundSet solutionSet
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] variables
         0: .line 413
            aload 0 /* this */
            aload 1 /* solutionSet */
            aload 2 /* variables */
            invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula.applySubstitution:(Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;[Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)Z
            pop
         1: .line 414
            iconst_0
            istore 3 /* i */
        start local 3 // int i
         2: goto 9
         3: .line 415
      StackMap locals: int
      StackMap stack:
            aload 2 /* variables */
            iload 3 /* i */
            aaload
            astore 4 /* variable */
        start local 4 // org.eclipse.jdt.internal.compiler.lookup.InferenceVariable variable
         4: .line 416
            aload 1 /* solutionSet */
            aload 2 /* variables */
            iload 3 /* i */
            aaload
            aconst_null
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.getInstantiation:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 5 /* instantiation */
        start local 5 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding instantiation
         5: .line 417
            aload 5 /* instantiation */
            ifnonnull 7
         6: .line 418
            iconst_0
            ireturn
         7: .line 419
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap stack:
            aload 0 /* this */
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 4 /* variable */
            aload 5 /* instantiation */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.substituteInferenceVariable:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            putfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
        end local 5 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding instantiation
        end local 4 // org.eclipse.jdt.internal.compiler.lookup.InferenceVariable variable
         8: .line 414
            iinc 3 /* i */ 1
      StackMap locals:
      StackMap stack:
         9: iload 3 /* i */
            aload 2 /* variables */
            arraylength
            if_icmplt 3
        end local 3 // int i
        10: .line 421
            iconst_1
            ireturn
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] variables
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.BoundSet solutionSet
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula this
      LocalVariableTable:
        Start  End  Slot           Name  Signature
            0   11     0           this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            0   11     1    solutionSet  Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
            0   11     2      variables  [Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
            2   10     3              i  I
            4    8     4       variable  Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
            5    8     5  instantiation  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
    MethodParameters:
             Name  Flags
      solutionSet  
      variables    

  public java.lang.String toString();
    descriptor: ()Ljava/lang/String;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=3, locals=2, args_size=1
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula this
         0: .line 427
            new java.lang.StringBuffer
            dup
            ldc "Type Constraint:\n"
            invokespecial java.lang.StringBuffer.<init>:(Ljava/lang/String;)V
            astore 1 /* buf */
        start local 1 // java.lang.StringBuffer buf
         1: .line 428
            aload 1 /* buf */
            bipush 9
            invokevirtual java.lang.StringBuffer.append:(C)Ljava/lang/StringBuffer;
            sipush 10216
            invokevirtual java.lang.StringBuffer.append:(C)Ljava/lang/StringBuffer;
            pop
         2: .line 429
            aload 0 /* this */
            aload 1 /* buf */
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.left:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.appendTypeName:(Ljava/lang/StringBuffer;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)V
         3: .line 430
            aload 1 /* buf */
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.relation:I
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.relationToString:(I)Ljava/lang/String;
            invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
            pop
         4: .line 431
            aload 0 /* this */
            aload 1 /* buf */
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.appendTypeName:(Ljava/lang/StringBuffer;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)V
         5: .line 432
            aload 1 /* buf */
            sipush 10217
            invokevirtual java.lang.StringBuffer.append:(C)Ljava/lang/StringBuffer;
            pop
         6: .line 433
            aload 1 /* buf */
            invokevirtual java.lang.StringBuffer.toString:()Ljava/lang/String;
            areturn
        end local 1 // java.lang.StringBuffer buf
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    7     0  this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            1    7     1   buf  Ljava/lang/StringBuffer;
}
SourceFile: "ConstraintTypeFormula.java"