class org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula 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.ConstraintExpressionFormula
  super_class: org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula
{
  org.eclipse.jdt.internal.compiler.ast.Expression left;
    descriptor: Lorg/eclipse/jdt/internal/compiler/ast/Expression;
    flags: (0x0000) 

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

  void <init>(org.eclipse.jdt.internal.compiler.ast.Expression, org.eclipse.jdt.internal.compiler.lookup.TypeBinding, int);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)V
    flags: (0x0000) 
    Code:
      stack=2, locals=4, args_size=4
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula this
        start local 1 // org.eclipse.jdt.internal.compiler.ast.Expression expression
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding type
        start local 3 // int relation
         0: .line 49
            aload 0 /* this */
            invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula.<init>:()V
         1: .line 50
            aload 0 /* this */
            aload 1 /* expression */
            putfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
         2: .line 51
            aload 0 /* this */
            aload 2 /* type */
            putfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
         3: .line 52
            aload 0 /* this */
            iload 3 /* relation */
            putfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.relation:I
         4: .line 53
            return
        end local 3 // int relation
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding type
        end local 1 // org.eclipse.jdt.internal.compiler.ast.Expression expression
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula this
      LocalVariableTable:
        Start  End  Slot        Name  Signature
            0    5     0        this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintExpressionFormula;
            0    5     1  expression  Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            0    5     2        type  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            0    5     3    relation  I
    MethodParameters:
            Name  Flags
      expression  
      type        
      relation    

  void <init>(org.eclipse.jdt.internal.compiler.ast.Expression, org.eclipse.jdt.internal.compiler.lookup.TypeBinding, int, boolean);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
    flags: (0x0000) 
    Code:
      stack=4, locals=5, args_size=5
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula this
        start local 1 // org.eclipse.jdt.internal.compiler.ast.Expression expression
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding type
        start local 3 // int relation
        start local 4 // boolean isSoft
         0: .line 56
            aload 0 /* this */
            aload 1 /* expression */
            aload 2 /* type */
            iload 3 /* relation */
            invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.<init>:(Lorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)V
         1: .line 57
            aload 0 /* this */
            iload 4 /* isSoft */
            putfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.isSoft:Z
         2: .line 58
            return
        end local 4 // boolean isSoft
        end local 3 // int relation
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding type
        end local 1 // org.eclipse.jdt.internal.compiler.ast.Expression expression
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula this
      LocalVariableTable:
        Start  End  Slot        Name  Signature
            0    3     0        this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintExpressionFormula;
            0    3     1  expression  Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            0    3     2        type  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            0    3     3    relation  I
            0    3     4      isSoft  Z
    MethodParameters:
            Name  Flags
      expression  
      type        
      relation    
      isSoft      

  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=9, locals=15, args_size=2
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 inferenceContext
         0: .line 63
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.relation:I
            bipush 8
            if_icmpne 4
         1: .line 70
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.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.ast.Expression.isPotentiallyCompatibleWith:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/Scope;)Z
            ifeq 2
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            goto 3
      StackMap locals:
      StackMap stack:
         2: getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
      StackMap locals:
      StackMap stack: org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula
         3: areturn
         4: .line 74
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
            ifeq 10
         5: .line 75
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.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.ast.Expression.isCompatibleWith:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/Scope;)Z
            ifne 6
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.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.ast.Expression.isBoxingCompatibleWith:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/Scope;)Z
            ifeq 9
         6: .line 76
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            getfield org.eclipse.jdt.internal.compiler.ast.Expression.resolvedType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            ifnull 8
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            getfield org.eclipse.jdt.internal.compiler.ast.Expression.resolvedType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.needsUncheckedConversion:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifeq 8
         7: .line 77
            aload 1 /* inferenceContext */
            iconst_1
            putfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.usesUncheckedConversion:Z
         8: .line 79
      StackMap locals:
      StackMap stack:
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
         9: .line 81
      StackMap locals:
      StackMap stack:
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        10: .line 83
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.canBePolyExpression:(Lorg/eclipse/jdt/internal/compiler/ast/Expression;)Z
            ifne 17
        11: .line 84
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            getfield org.eclipse.jdt.internal.compiler.ast.Expression.resolvedType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 2 /* exprType */
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding exprType
        12: .line 85
            aload 2 /* exprType */
            ifnull 13
            aload 2 /* exprType */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isValidBinding:()Z
            ifne 16
        13: .line 86
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            instanceof org.eclipse.jdt.internal.compiler.ast.MessageSend
            ifeq 15
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            checkcast org.eclipse.jdt.internal.compiler.ast.MessageSend
            getfield org.eclipse.jdt.internal.compiler.ast.MessageSend.actualReceiverType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            ifeq 15
        14: .line 87
            aconst_null
            areturn
        15: .line 88
      StackMap locals:
      StackMap stack:
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        16: .line 90
      StackMap locals:
      StackMap stack:
            aload 2 /* exprType */
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_1
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.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 exprType
        17: .line 94
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            instanceof org.eclipse.jdt.internal.compiler.ast.Invocation
            ifeq 66
        18: .line 95
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            checkcast org.eclipse.jdt.internal.compiler.ast.Invocation
            astore 2 /* invocation */
        start local 2 // org.eclipse.jdt.internal.compiler.ast.Invocation invocation
        19: .line 96
            aload 2 /* invocation */
            invokeinterface org.eclipse.jdt.internal.compiler.ast.Invocation.binding:()Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            astore 3 /* previousMethod */
        start local 3 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding previousMethod
        20: .line 97
            aload 3 /* previousMethod */
            ifnonnull 22
        21: .line 98
            aconst_null
            areturn
        22: .line 99
      StackMap locals: org.eclipse.jdt.internal.compiler.ast.Invocation org.eclipse.jdt.internal.compiler.lookup.MethodBinding
      StackMap stack:
            aload 3 /* previousMethod */
            astore 4 /* method */
        start local 4 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding method
        23: .line 103
            aload 3 /* previousMethod */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.shallowOriginal:()Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            astore 4 /* method */
        24: .line 104
            aload 1 /* inferenceContext */
            aload 2 /* invocation */
            aload 2 /* invocation */
            invokeinterface org.eclipse.jdt.internal.compiler.ast.Invocation.arguments:()[Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.enterPolyInvocation:(Lorg/eclipse/jdt/internal/compiler/lookup/InvocationSite;[Lorg/eclipse/jdt/internal/compiler/ast/Expression;)Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;
            astore 5 /* prevInvocation */
        start local 5 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18$SuspendedInferenceRecord prevInvocation
        25: .line 107
            aconst_null
            astore 6 /* innerCtx */
        start local 6 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 innerCtx
        26: .line 109
            aload 2 /* invocation */
            invokeinterface org.eclipse.jdt.internal.compiler.ast.Invocation.arguments:()[Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            astore 7 /* arguments */
        start local 7 // org.eclipse.jdt.internal.compiler.ast.Expression[] arguments
        27: .line 110
            aload 7 /* arguments */
            ifnonnull 28
            getstatic org.eclipse.jdt.internal.compiler.lookup.Binding.NO_PARAMETERS:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            goto 29
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.ast.Invocation org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.InferenceContext18$SuspendedInferenceRecord org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.ast.Expression[]
      StackMap stack:
        28: aload 7 /* arguments */
            arraylength
            anewarray org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap locals:
      StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding[]
        29: astore 8 /* argumentTypes */
        start local 8 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] argumentTypes
        30: .line 111
            iconst_0
            istore 9 /* i */
        start local 9 // int i
        31: goto 34
        32: .line 112
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] int
      StackMap stack:
            aload 8 /* argumentTypes */
            iload 9 /* i */
            aload 7 /* arguments */
            iload 9 /* i */
            aaload
            getfield org.eclipse.jdt.internal.compiler.ast.Expression.resolvedType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aastore
        33: .line 111
            iinc 9 /* i */ 1
      StackMap locals:
      StackMap stack:
        34: iload 9 /* i */
            aload 8 /* argumentTypes */
            arraylength
            if_icmplt 32
        end local 9 // int i
        35: .line 113
            aload 3 /* previousMethod */
            instanceof org.eclipse.jdt.internal.compiler.lookup.ParameterizedGenericMethodBinding
            ifeq 52
        36: .line 115
            aload 2 /* invocation */
            aload 3 /* previousMethod */
            checkcast org.eclipse.jdt.internal.compiler.lookup.ParameterizedGenericMethodBinding
            invokeinterface org.eclipse.jdt.internal.compiler.ast.Invocation.getInferenceContext:(Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedMethodBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
            astore 6 /* innerCtx */
        37: .line 116
            aload 6 /* innerCtx */
            ifnonnull 46
        38: .line 120
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            getfield org.eclipse.jdt.internal.compiler.ast.Expression.resolvedType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 9 /* exprType */
        start local 9 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding exprType
        39: .line 121
            aload 9 /* exprType */
            ifnull 40
            aload 9 /* exprType */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isValidBinding:()Z
            ifne 43
        40: .line 122
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.ast.Invocation org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.InferenceContext18$SuspendedInferenceRecord org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.ast.Expression[] org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap stack:
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            astore 11
        41: .line 141
            aload 1 /* inferenceContext */
            aload 5 /* prevInvocation */
            aload 6 /* innerCtx */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.resumeSuspendedInference:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
        42: .line 122
            aload 11
            areturn
        43: .line 123
      StackMap locals:
      StackMap stack:
            aload 9 /* exprType */
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_1
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.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;
            astore 11
        44: .line 141
            aload 1 /* inferenceContext */
            aload 5 /* prevInvocation */
            aload 6 /* innerCtx */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.resumeSuspendedInference:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
        45: .line 123
            aload 11
            areturn
        end local 9 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding exprType
        46: .line 125
      StackMap locals:
      StackMap stack:
            aload 6 /* innerCtx */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.stepCompleted:I
            iconst_1
            if_icmplt 49
        47: .line 126
            aload 1 /* inferenceContext */
            aload 6 /* innerCtx */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.integrateInnerInferenceB2:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
        48: .line 127
            goto 57
        49: .line 128
      StackMap locals:
      StackMap stack:
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            astore 11
        50: .line 141
            aload 1 /* inferenceContext */
            aload 5 /* prevInvocation */
            aload 6 /* innerCtx */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.resumeSuspendedInference:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
        51: .line 128
            aload 11
            areturn
        52: .line 132
      StackMap locals:
      StackMap stack:
            aload 1 /* inferenceContext */
            aload 1 /* inferenceContext */
            aload 3 /* previousMethod */
            aload 8 /* argumentTypes */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.getInferenceKind:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)I
            putfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.inferenceKind:I
        53: .line 133
            aload 4 /* method */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isConstructor:()Z
            ifeq 54
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            aload 4 /* method */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.isPolyExpression:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;)Z
            ifeq 54
            iconst_1
            goto 55
      StackMap locals:
      StackMap stack:
        54: iconst_0
      StackMap locals:
      StackMap stack: int
        55: istore 9 /* isDiamond */
        start local 9 // boolean isDiamond
        56: .line 134
            aload 1 /* inferenceContext */
            aload 4 /* method */
            aload 8 /* argumentTypes */
            iload 9 /* isDiamond */
            aload 1 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.inferenceKind:I
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.inferInvocationApplicability:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;ZI)V
        end local 9 // boolean isDiamond
        57: .line 137
      StackMap locals:
      StackMap stack:
            aload 1 /* inferenceContext */
            aload 2 /* invocation */
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 4 /* method */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.computeB3:(Lorg/eclipse/jdt/internal/compiler/lookup/InvocationSite;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;)Z
            ifne 61
        58: .line 138
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            astore 11
        59: .line 141
            aload 1 /* inferenceContext */
            aload 5 /* prevInvocation */
            aload 6 /* innerCtx */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.resumeSuspendedInference:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
        60: .line 138
            aload 11
            areturn
        61: .line 141
      StackMap locals:
      StackMap stack:
            aload 1 /* inferenceContext */
            aload 5 /* prevInvocation */
            aload 6 /* innerCtx */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.resumeSuspendedInference:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
        62: .line 139
            aconst_null
            areturn
        end local 8 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] argumentTypes
        end local 7 // org.eclipse.jdt.internal.compiler.ast.Expression[] arguments
        63: .line 140
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.ast.Invocation org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.InferenceContext18$SuspendedInferenceRecord org.eclipse.jdt.internal.compiler.lookup.InferenceContext18
      StackMap stack: java.lang.Throwable
            astore 10
        64: .line 141
            aload 1 /* inferenceContext */
            aload 5 /* prevInvocation */
            aload 6 /* innerCtx */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.resumeSuspendedInference:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
        65: .line 142
            aload 10
            athrow
        end local 6 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 innerCtx
        end local 5 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18$SuspendedInferenceRecord prevInvocation
        end local 4 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding method
        end local 3 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding previousMethod
        end local 2 // org.eclipse.jdt.internal.compiler.ast.Invocation invocation
        66: .line 143
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            instanceof org.eclipse.jdt.internal.compiler.ast.ConditionalExpression
            ifeq 72
        67: .line 144
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            checkcast org.eclipse.jdt.internal.compiler.ast.ConditionalExpression
            astore 2 /* conditional */
        start local 2 // org.eclipse.jdt.internal.compiler.ast.ConditionalExpression conditional
        68: .line 145
            iconst_2
            anewarray org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula
            dup
            iconst_0
        69: .line 146
            new org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula
            dup
            aload 2 /* conditional */
            getfield org.eclipse.jdt.internal.compiler.ast.ConditionalExpression.valueIfTrue:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.relation:I
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.isSoft:Z
            invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.<init>:(Lorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
            aastore
            dup
            iconst_1
        70: .line 147
            new org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula
            dup
            aload 2 /* conditional */
            getfield org.eclipse.jdt.internal.compiler.ast.ConditionalExpression.valueIfFalse:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.relation:I
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.isSoft:Z
            invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.<init>:(Lorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
            aastore
        71: .line 145
            areturn
        end local 2 // org.eclipse.jdt.internal.compiler.ast.ConditionalExpression conditional
        72: .line 149
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            instanceof org.eclipse.jdt.internal.compiler.ast.SwitchExpression
            ifeq 81
        73: .line 150
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            checkcast org.eclipse.jdt.internal.compiler.ast.SwitchExpression
            astore 2 /* se */
        start local 2 // org.eclipse.jdt.internal.compiler.ast.SwitchExpression se
        74: .line 151
            aload 2 /* se */
            getfield org.eclipse.jdt.internal.compiler.ast.SwitchExpression.resultExpressions:Ljava/util/List;
            invokeinterface java.util.List.size:()I
            anewarray org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula
            astore 3 /* cfs */
        start local 3 // org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula[] cfs
        75: .line 152
            iconst_0
            istore 4 /* i */
        start local 4 // int i
        76: .line 153
            aload 2 /* se */
            getfield org.eclipse.jdt.internal.compiler.ast.SwitchExpression.resultExpressions:Ljava/util/List;
            invokeinterface java.util.List.iterator:()Ljava/util/Iterator;
            astore 6
            goto 79
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.ast.SwitchExpression org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula[] int top java.util.Iterator
      StackMap stack:
        77: aload 6
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast org.eclipse.jdt.internal.compiler.ast.Expression
            astore 5 /* re */
        start local 5 // org.eclipse.jdt.internal.compiler.ast.Expression re
        78: .line 154
            aload 3 /* cfs */
            iload 4 /* i */
            iinc 4 /* i */ 1
            new org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula
            dup
            aload 5 /* re */
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.relation:I
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.isSoft:Z
            invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.<init>:(Lorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
            aastore
        end local 5 // org.eclipse.jdt.internal.compiler.ast.Expression re
        79: .line 153
      StackMap locals:
      StackMap stack:
            aload 6
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 77
        80: .line 156
            aload 3 /* cfs */
            areturn
        end local 4 // int i
        end local 3 // org.eclipse.jdt.internal.compiler.lookup.ConstraintFormula[] cfs
        end local 2 // org.eclipse.jdt.internal.compiler.ast.SwitchExpression se
        81: .line 157
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            instanceof org.eclipse.jdt.internal.compiler.ast.LambdaExpression
            ifeq 145
        82: .line 158
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            checkcast org.eclipse.jdt.internal.compiler.ast.LambdaExpression
            astore 2 /* lambda */
        start local 2 // org.eclipse.jdt.internal.compiler.ast.LambdaExpression lambda
        83: .line 159
            aload 2 /* lambda */
            getfield org.eclipse.jdt.internal.compiler.ast.LambdaExpression.enclosingScope:Lorg/eclipse/jdt/internal/compiler/lookup/BlockScope;
            astore 3 /* scope */
        start local 3 // org.eclipse.jdt.internal.compiler.lookup.BlockScope scope
        84: .line 160
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            ifeq 86
        85: .line 161
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        86: .line 162
      StackMap locals: org.eclipse.jdt.internal.compiler.ast.LambdaExpression org.eclipse.jdt.internal.compiler.lookup.BlockScope
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 3 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isFunctionalInterface:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;)Z
            ifne 88
        87: .line 163
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        88: .line 165
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            checkcast org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding
            astore 4 /* t */
        start local 4 // org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding t
        89: .line 166
            aload 4 /* t */
            invokestatic org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.parameterizedWithWildcard:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
            astore 5 /* withWildCards */
        start local 5 // org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding withWildCards
        90: .line 167
            aload 5 /* withWildCards */
            ifnull 92
        91: .line 168
            aload 1 /* inferenceContext */
            aload 3 /* scope */
            aload 2 /* lambda */
            aload 5 /* withWildCards */
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.findGroundTargetType:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;Lorg/eclipse/jdt/internal/compiler/lookup/BlockScope;Lorg/eclipse/jdt/internal/compiler/ast/LambdaExpression;Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            astore 4 /* t */
        92: .line 170
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding
      StackMap stack:
            aload 4 /* t */
            ifnonnull 94
        93: .line 171
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        94: .line 172
      StackMap locals:
      StackMap stack:
            aload 4 /* t */
            aload 3 /* scope */
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding.getSingleAbstractMethod:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;Z)Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            astore 6 /* functionType */
        start local 6 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding functionType
        95: .line 173
            aload 6 /* functionType */
            ifnonnull 97
        96: .line 174
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        97: .line 175
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.MethodBinding
      StackMap stack:
            aload 6 /* functionType */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 7 /* parameters */
        start local 7 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] parameters
        98: .line 176
            aload 7 /* parameters */
            arraylength
            aload 2 /* lambda */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.arguments:()[Lorg/eclipse/jdt/internal/compiler/ast/Argument;
            arraylength
            if_icmpeq 100
        99: .line 177
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
       100: .line 178
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding[]
      StackMap stack:
            aload 2 /* lambda */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.argumentsTypeElided:()Z
            ifeq 107
       101: .line 179
            iconst_0
            istore 8 /* i */
        start local 8 // int i
       102: goto 106
       103: .line 180
      StackMap locals: int
      StackMap stack:
            aload 7 /* parameters */
            iload 8 /* i */
            aaload
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
            ifne 105
       104: .line 181
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
       105: .line 179
      StackMap locals:
      StackMap stack:
            iinc 8 /* i */ 1
      StackMap locals:
      StackMap stack:
       106: iload 8 /* i */
            aload 7 /* parameters */
            arraylength
            if_icmplt 103
        end local 8 // int i
       107: .line 182
      StackMap locals:
      StackMap stack:
            aload 2 /* lambda */
            aload 4 /* t */
            aload 1 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            aload 1 /* inferenceContext */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.resolveExpressionExpecting:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/Scope;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Lorg/eclipse/jdt/internal/compiler/ast/LambdaExpression;
            astore 2 /* lambda */
       108: .line 183
            aload 2 /* lambda */
            ifnonnull 110
       109: .line 184
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
       110: .line 185
      StackMap locals:
      StackMap stack:
            aload 6 /* functionType */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            getstatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.VOID:Lorg/eclipse/jdt/internal/compiler/lookup/VoidTypeBinding;
            if_acmpne 113
       111: .line 186
            aload 2 /* lambda */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.isVoidCompatible:()Z
            ifne 115
       112: .line 187
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
       113: .line 189
      StackMap locals:
      StackMap stack:
            aload 2 /* lambda */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.isValueCompatible:()Z
            ifne 115
       114: .line 190
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
       115: .line 192
      StackMap locals:
      StackMap stack:
            new java.util.ArrayList
            dup
            invokespecial java.util.ArrayList.<init>:()V
            astore 8 /* result */
        start local 8 // java.util.List result
       116: .line 193
            aload 2 /* lambda */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.argumentsTypeElided:()Z
            ifne 125
       117: .line 194
            aload 2 /* lambda */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.arguments:()[Lorg/eclipse/jdt/internal/compiler/ast/Argument;
            astore 9 /* arguments */
        start local 9 // org.eclipse.jdt.internal.compiler.ast.Argument[] arguments
       118: .line 195
            iconst_0
            istore 10 /* i */
        start local 10 // int i
       119: goto 122
       120: .line 196
      StackMap locals: java.util.List org.eclipse.jdt.internal.compiler.ast.Argument[] int
      StackMap stack:
            aload 8 /* result */
            aload 7 /* parameters */
            iload 10 /* i */
            aaload
            aload 9 /* arguments */
            iload 10 /* i */
            aaload
            getfield org.eclipse.jdt.internal.compiler.ast.Argument.type:Lorg/eclipse/jdt/internal/compiler/ast/TypeReference;
            getfield org.eclipse.jdt.internal.compiler.ast.TypeReference.resolvedType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_4
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            invokeinterface java.util.List.add:(Ljava/lang/Object;)Z
            pop
       121: .line 195
            iinc 10 /* i */ 1
      StackMap locals:
      StackMap stack:
       122: iload 10 /* i */
            aload 7 /* parameters */
            arraylength
            if_icmplt 120
        end local 10 // int i
       123: .line 198
            aload 2 /* lambda */
            getfield org.eclipse.jdt.internal.compiler.ast.LambdaExpression.resolvedType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            ifnull 125
       124: .line 199
            aload 8 /* result */
            aload 2 /* lambda */
            getfield org.eclipse.jdt.internal.compiler.ast.LambdaExpression.resolvedType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_2
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            invokeinterface java.util.List.add:(Ljava/lang/Object;)Z
            pop
        end local 9 // org.eclipse.jdt.internal.compiler.ast.Argument[] arguments
       125: .line 201
      StackMap locals:
      StackMap stack:
            aload 6 /* functionType */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            getstatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.VOID:Lorg/eclipse/jdt/internal/compiler/lookup/VoidTypeBinding;
            if_acmpeq 142
       126: .line 202
            aload 6 /* functionType */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 9 /* r */
        start local 9 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding r
       127: .line 203
            aload 2 /* lambda */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.resultExpressions:()[Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            astore 10 /* exprs */
        start local 10 // org.eclipse.jdt.internal.compiler.ast.Expression[] exprs
       128: .line 204
            iconst_0
            istore 11 /* i */
        start local 11 // int i
       129: aload 10 /* exprs */
            ifnonnull 130
            iconst_0
            goto 131
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.ast.Expression[] int
      StackMap stack:
       130: aload 10 /* exprs */
            arraylength
      StackMap locals:
      StackMap stack: int
       131: istore 12 /* length */
        start local 12 // int length
       132: goto 141
       133: .line 205
      StackMap locals: int
      StackMap stack:
            aload 10 /* exprs */
            iload 11 /* i */
            aaload
            astore 13 /* expr */
        start local 13 // org.eclipse.jdt.internal.compiler.ast.Expression expr
       134: .line 206
            aload 9 /* r */
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
            ifeq 139
            aload 13 /* expr */
            getfield org.eclipse.jdt.internal.compiler.ast.Expression.resolvedType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            ifnull 139
       135: .line 207
            aload 13 /* expr */
            getfield org.eclipse.jdt.internal.compiler.ast.Expression.resolvedType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 14 /* exprType */
        start local 14 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding exprType
       136: .line 209
            aload 13 /* expr */
            aload 14 /* exprType */
            aload 9 /* r */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.isConstantValueOfTypeAssignableToType:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifne 140
       137: .line 210
            aload 14 /* exprType */
            aload 9 /* r */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isCompatibleWith:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifne 140
            aload 13 /* expr */
            aload 14 /* exprType */
            aload 9 /* r */
            aload 13 /* expr */
            aload 3 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.isBoxingCompatible:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/lookup/Scope;)Z
            ifne 140
       138: .line 211
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        end local 14 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding exprType
       139: .line 213
      StackMap locals: org.eclipse.jdt.internal.compiler.ast.Expression
      StackMap stack:
            aload 8 /* result */
            new org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula
            dup
            aload 13 /* expr */
            aload 9 /* r */
            iconst_1
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.isSoft:Z
            invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.<init>:(Lorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;IZ)V
            invokeinterface java.util.List.add:(Ljava/lang/Object;)Z
            pop
        end local 13 // org.eclipse.jdt.internal.compiler.ast.Expression expr
       140: .line 204
      StackMap locals:
      StackMap stack:
            iinc 11 /* i */ 1
      StackMap locals:
      StackMap stack:
       141: iload 11 /* i */
            iload 12 /* length */
            if_icmplt 133
        end local 12 // int length
        end local 11 // int i
        end local 10 // org.eclipse.jdt.internal.compiler.ast.Expression[] exprs
        end local 9 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding r
       142: .line 217
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.ast.LambdaExpression org.eclipse.jdt.internal.compiler.lookup.BlockScope org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] java.util.List
      StackMap stack:
            aload 8 /* result */
            invokeinterface java.util.List.size:()I
            ifne 144
       143: .line 218
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
       144: .line 219
      StackMap locals:
      StackMap stack:
            aload 8 /* result */
            aload 8 /* result */
            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 8 // java.util.List result
        end local 7 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] parameters
        end local 6 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding functionType
        end local 5 // org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding withWildCards
        end local 4 // org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding t
        end local 3 // org.eclipse.jdt.internal.compiler.lookup.BlockScope scope
        end local 2 // org.eclipse.jdt.internal.compiler.ast.LambdaExpression lambda
       145: .line 220
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            instanceof org.eclipse.jdt.internal.compiler.ast.ReferenceExpression
            ifeq 147
       146: .line 221
            aload 0 /* this */
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            checkcast org.eclipse.jdt.internal.compiler.ast.ReferenceExpression
            aload 1 /* inferenceContext */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.reduceReferenceExpressionCompatibility:(Lorg/eclipse/jdt/internal/compiler/ast/ReferenceExpression;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/lang/Object;
            areturn
       147: .line 224
      StackMap locals:
      StackMap stack:
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 inferenceContext
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula this
      LocalVariableTable:
        Start  End  Slot              Name  Signature
            0  148     0              this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintExpressionFormula;
            0  148     1  inferenceContext  Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
           12   17     2          exprType  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           19   66     2        invocation  Lorg/eclipse/jdt/internal/compiler/ast/Invocation;
           20   66     3    previousMethod  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
           23   66     4            method  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
           25   66     5    prevInvocation  Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;
           26   66     6          innerCtx  Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
           27   63     7         arguments  [Lorg/eclipse/jdt/internal/compiler/ast/Expression;
           30   63     8     argumentTypes  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           31   35     9                 i  I
           39   46     9          exprType  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           56   57     9         isDiamond  Z
           68   72     2       conditional  Lorg/eclipse/jdt/internal/compiler/ast/ConditionalExpression;
           74   81     2                se  Lorg/eclipse/jdt/internal/compiler/ast/SwitchExpression;
           75   81     3               cfs  [Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;
           76   81     4                 i  I
           78   79     5                re  Lorg/eclipse/jdt/internal/compiler/ast/Expression;
           83  145     2            lambda  Lorg/eclipse/jdt/internal/compiler/ast/LambdaExpression;
           84  145     3             scope  Lorg/eclipse/jdt/internal/compiler/lookup/BlockScope;
           89  145     4                 t  Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
           90  145     5     withWildCards  Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
           95  145     6      functionType  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
           98  145     7        parameters  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
          102  107     8                 i  I
          116  145     8            result  Ljava/util/List<Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;>;
          118  125     9         arguments  [Lorg/eclipse/jdt/internal/compiler/ast/Argument;
          119  123    10                 i  I
          127  142     9                 r  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
          128  142    10             exprs  [Lorg/eclipse/jdt/internal/compiler/ast/Expression;
          129  142    11                 i  I
          132  142    12            length  I
          134  140    13              expr  Lorg/eclipse/jdt/internal/compiler/ast/Expression;
          136  139    14          exprType  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
      Exception table:
        from    to  target  type
          26    41      63  any
          43    44      63  any
          46    50      63  any
          52    59      63  any
    Exceptions:
      throws org.eclipse.jdt.internal.compiler.lookup.InferenceFailureException
    MethodParameters:
                  Name  Flags
      inferenceContext  

  public static org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding findGroundTargetType(org.eclipse.jdt.internal.compiler.lookup.InferenceContext18, org.eclipse.jdt.internal.compiler.lookup.BlockScope, org.eclipse.jdt.internal.compiler.ast.LambdaExpression, org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;Lorg/eclipse/jdt/internal/compiler/lookup/BlockScope;Lorg/eclipse/jdt/internal/compiler/ast/LambdaExpression;Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=4, locals=7, args_size=4
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 inferenceContext
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.BlockScope scope
        start local 2 // org.eclipse.jdt.internal.compiler.ast.LambdaExpression lambda
        start local 3 // org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding targetTypeWithWildCards
         0: .line 230
            aload 2 /* lambda */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.argumentsTypeElided:()Z
            ifeq 2
         1: .line 231
            aload 2 /* lambda */
            aload 1 /* scope */
            aload 3 /* targetTypeWithWildCards */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.findGroundTargetTypeForElidedLambda:(Lorg/eclipse/jdt/internal/compiler/lookup/BlockScope;Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            areturn
         2: .line 233
      StackMap locals:
      StackMap stack:
            aload 0 /* inferenceContext */
            aload 2 /* lambda */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.enterLambda:(Lorg/eclipse/jdt/internal/compiler/ast/LambdaExpression;)Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;
            astore 4 /* previous */
        start local 4 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18$SuspendedInferenceRecord previous
         3: .line 235
            aload 0 /* inferenceContext */
            aload 2 /* lambda */
            aload 1 /* scope */
            aload 3 /* targetTypeWithWildCards */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.inferFunctionalInterfaceParameterization:(Lorg/eclipse/jdt/internal/compiler/ast/LambdaExpression;Lorg/eclipse/jdt/internal/compiler/lookup/BlockScope;Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            astore 6
         4: .line 237
            aload 0 /* inferenceContext */
            aload 4 /* previous */
            aconst_null
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.resumeSuspendedInference:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
         5: .line 235
            aload 6
            areturn
         6: .line 236
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.BlockScope org.eclipse.jdt.internal.compiler.ast.LambdaExpression org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding org.eclipse.jdt.internal.compiler.lookup.InferenceContext18$SuspendedInferenceRecord
      StackMap stack: java.lang.Throwable
            astore 5
         7: .line 237
            aload 0 /* inferenceContext */
            aload 4 /* previous */
            aconst_null
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.resumeSuspendedInference:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
         8: .line 238
            aload 5
            athrow
        end local 4 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18$SuspendedInferenceRecord previous
        end local 3 // org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding targetTypeWithWildCards
        end local 2 // org.eclipse.jdt.internal.compiler.ast.LambdaExpression lambda
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.BlockScope scope
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 inferenceContext
      LocalVariableTable:
        Start  End  Slot                     Name  Signature
            0    9     0         inferenceContext  Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
            0    9     1                    scope  Lorg/eclipse/jdt/internal/compiler/lookup/BlockScope;
            0    9     2                   lambda  Lorg/eclipse/jdt/internal/compiler/ast/LambdaExpression;
            0    9     3  targetTypeWithWildCards  Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
            3    9     4                 previous  Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;
      Exception table:
        from    to  target  type
           3     4       6  any
    MethodParameters:
                         Name  Flags
      inferenceContext         
      scope                    
      lambda                   
      targetTypeWithWildCards  

  private boolean canBePolyExpression(org.eclipse.jdt.internal.compiler.ast.Expression);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/ast/Expression;)Z
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=2, locals=5, args_size=2
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula this
        start local 1 // org.eclipse.jdt.internal.compiler.ast.Expression expr
         0: .line 245
            aload 1 /* expr */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.getExpressionContext:()Lorg/eclipse/jdt/internal/compiler/ast/ExpressionContext;
            astore 2 /* previousExpressionContext */
        start local 2 // org.eclipse.jdt.internal.compiler.ast.ExpressionContext previousExpressionContext
         1: .line 246
            aload 2 /* previousExpressionContext */
            getstatic org.eclipse.jdt.internal.compiler.ast.ExpressionContext.VANILLA_CONTEXT:Lorg/eclipse/jdt/internal/compiler/ast/ExpressionContext;
            if_acmpne 3
         2: .line 247
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            getstatic org.eclipse.jdt.internal.compiler.ast.ExpressionContext.ASSIGNMENT_CONTEXT:Lorg/eclipse/jdt/internal/compiler/ast/ExpressionContext;
            invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.setExpressionContext:(Lorg/eclipse/jdt/internal/compiler/ast/ExpressionContext;)V
         3: .line 249
      StackMap locals: org.eclipse.jdt.internal.compiler.ast.ExpressionContext
      StackMap stack:
            aload 1 /* expr */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.isPolyExpression:()Z
            istore 4
         4: .line 251
            aload 1 /* expr */
            aload 2 /* previousExpressionContext */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.setExpressionContext:(Lorg/eclipse/jdt/internal/compiler/ast/ExpressionContext;)V
         5: .line 249
            iload 4
            ireturn
         6: .line 250
      StackMap locals:
      StackMap stack: java.lang.Throwable
            astore 3
         7: .line 251
            aload 1 /* expr */
            aload 2 /* previousExpressionContext */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.setExpressionContext:(Lorg/eclipse/jdt/internal/compiler/ast/ExpressionContext;)V
         8: .line 252
            aload 3
            athrow
        end local 2 // org.eclipse.jdt.internal.compiler.ast.ExpressionContext previousExpressionContext
        end local 1 // org.eclipse.jdt.internal.compiler.ast.Expression expr
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula this
      LocalVariableTable:
        Start  End  Slot                       Name  Signature
            0    9     0                       this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintExpressionFormula;
            0    9     1                       expr  Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            1    9     2  previousExpressionContext  Lorg/eclipse/jdt/internal/compiler/ast/ExpressionContext;
      Exception table:
        from    to  target  type
           3     4       6  any
    MethodParameters:
      Name  Flags
      expr  

  private java.lang.Object reduceReferenceExpressionCompatibility(org.eclipse.jdt.internal.compiler.ast.ReferenceExpression, org.eclipse.jdt.internal.compiler.lookup.InferenceContext18);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/ast/ReferenceExpression;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/lang/Object;
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=5, locals=16, args_size=3
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula this
        start local 1 // org.eclipse.jdt.internal.compiler.ast.ReferenceExpression reference
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 inferenceContext
         0: .line 256
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 3 /* t */
        start local 3 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding t
         1: .line 257
            aload 3 /* t */
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
            ifeq 3
         2: .line 258
            new java.lang.IllegalStateException
            dup
            ldc "Should not reach here with T being a proper type"
            invokespecial java.lang.IllegalStateException.<init>:(Ljava/lang/String;)V
            athrow
         3: .line 259
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap stack:
            aload 3 /* t */
            aload 2 /* 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.isFunctionalInterface:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;)Z
            ifne 5
         4: .line 260
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
         5: .line 261
      StackMap locals:
      StackMap stack:
            aload 3 /* t */
            aload 2 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.getSingleAbstractMethod:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;Z)Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            astore 4 /* functionType */
        start local 4 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding functionType
         6: .line 262
            aload 4 /* functionType */
            ifnonnull 8
         7: .line 263
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
         8: .line 265
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.MethodBinding
      StackMap stack:
            aload 1 /* reference */
            aload 3 /* t */
            aload 2 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            aload 2 /* inferenceContext */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.resolveExpressionExpecting:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/Scope;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Lorg/eclipse/jdt/internal/compiler/ast/ReferenceExpression;
            astore 1 /* reference */
         9: .line 266
            aload 1 /* reference */
            ifnull 10
            aload 1 /* reference */
            getfield org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.binding:Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            goto 11
      StackMap locals:
      StackMap stack:
        10: aconst_null
      StackMap locals:
      StackMap stack: org.eclipse.jdt.internal.compiler.lookup.MethodBinding
        11: astore 5 /* potentiallyApplicable */
        start local 5 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding potentiallyApplicable
        12: .line 267
            aload 5 /* potentiallyApplicable */
            ifnonnull 14
        13: .line 268
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        14: .line 269
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.MethodBinding
      StackMap stack:
            aload 1 /* reference */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.isExactMethodReference:()Z
            ifeq 39
        15: .line 270
            new java.util.ArrayList
            dup
            invokespecial java.util.ArrayList.<init>:()V
            astore 6 /* newConstraints */
        start local 6 // java.util.List newConstraints
        16: .line 271
            aload 4 /* functionType */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 7 /* p */
        start local 7 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] p
        17: .line 272
            aload 7 /* p */
            arraylength
            istore 8 /* n */
        start local 8 // int n
        18: .line 273
            aload 5 /* potentiallyApplicable */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 9 /* pPrime */
        start local 9 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] pPrime
        19: .line 274
            aload 9 /* pPrime */
            arraylength
            istore 10 /* k */
        start local 10 // int k
        20: .line 275
            iconst_0
            istore 11 /* offset */
        start local 11 // int offset
        21: .line 276
            iload 8 /* n */
            iload 10 /* k */
            iconst_1
            iadd
            if_icmpne 24
        22: .line 277
            aload 6 /* newConstraints */
            aload 7 /* p */
            iconst_0
            aaload
            aload 1 /* reference */
            getfield org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.lhs:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            getfield org.eclipse.jdt.internal.compiler.ast.Expression.resolvedType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_1
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            invokeinterface java.util.List.add:(Ljava/lang/Object;)Z
            pop
        23: .line 278
            iconst_1
            istore 11 /* offset */
        24: .line 280
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.ast.ReferenceExpression org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding java.util.List org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] int org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] int int
      StackMap stack:
            iload 11 /* offset */
            istore 12 /* i */
        start local 12 // int i
        25: goto 28
        26: .line 281
      StackMap locals: int
      StackMap stack:
            aload 6 /* newConstraints */
            aload 7 /* p */
            iload 12 /* i */
            aaload
            aload 9 /* pPrime */
            iload 12 /* i */
            iload 11 /* offset */
            isub
            aaload
            iconst_1
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            invokeinterface java.util.List.add:(Ljava/lang/Object;)Z
            pop
        27: .line 280
            iinc 12 /* i */ 1
      StackMap locals:
      StackMap stack:
        28: iload 12 /* i */
            iload 8 /* n */
            if_icmplt 26
        end local 12 // int i
        29: .line 282
            aload 4 /* functionType */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 12 /* r */
        start local 12 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding r
        30: .line 283
            aload 12 /* r */
            getstatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.VOID:Lorg/eclipse/jdt/internal/compiler/lookup/VoidTypeBinding;
            if_acmpeq 38
        31: .line 284
            aload 5 /* potentiallyApplicable */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isConstructor:()Z
            ifeq 32
            aload 1 /* reference */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.isArrayConstructorReference:()Z
            ifne 32
            aload 5 /* potentiallyApplicable */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.declaringClass:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            goto 33
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.ast.ReferenceExpression org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding java.util.List org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] int org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] int int org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap stack:
        32: aload 5 /* potentiallyApplicable */
            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
        33: astore 13 /* rAppl */
        start local 13 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding rAppl
        34: .line 285
            aload 13 /* rAppl */
            getstatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.VOID:Lorg/eclipse/jdt/internal/compiler/lookup/VoidTypeBinding;
            if_acmpne 36
        35: .line 286
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        36: .line 287
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap stack:
            aload 13 /* rAppl */
            aload 2 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            aload 1 /* reference */
            getfield org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.sourceStart:I
            aload 1 /* reference */
            getfield org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.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;
            astore 14 /* rPrime */
        start local 14 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding rPrime
        37: .line 288
            aload 6 /* newConstraints */
            aload 14 /* rPrime */
            aload 12 /* r */
            iconst_1
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            invokeinterface java.util.List.add:(Ljava/lang/Object;)Z
            pop
        end local 14 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding rPrime
        end local 13 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding rAppl
        38: .line 290
      StackMap locals:
      StackMap stack:
            aload 6 /* newConstraints */
            aload 6 /* newConstraints */
            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 12 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding r
        end local 11 // int offset
        end local 10 // int k
        end local 9 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] pPrime
        end local 8 // int n
        end local 7 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] p
        end local 6 // java.util.List newConstraints
        39: .line 292
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.ast.ReferenceExpression org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding
      StackMap stack:
            aload 4 /* functionType */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            arraylength
            istore 6 /* n */
        start local 6 // int n
        40: .line 293
            iconst_0
            istore 7 /* i */
        start local 7 // int i
        41: goto 45
        42: .line 294
      StackMap locals: int int
      StackMap stack:
            aload 4 /* functionType */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iload 7 /* i */
            aaload
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isProperType:(Z)Z
            ifne 44
        43: .line 295
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        44: .line 293
      StackMap locals:
      StackMap stack:
            iinc 7 /* i */ 1
      StackMap locals:
      StackMap stack:
        45: iload 7 /* i */
            iload 6 /* n */
            if_icmplt 42
        end local 7 // int i
        46: .line 299
            aload 5 /* potentiallyApplicable */
            astore 7 /* compileTimeDecl */
        start local 7 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding compileTimeDecl
        47: .line 300
            aload 7 /* compileTimeDecl */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isValidBinding:()Z
            ifne 49
        48: .line 301
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        49: .line 302
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.ast.ReferenceExpression org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding int org.eclipse.jdt.internal.compiler.lookup.MethodBinding
      StackMap stack:
            aload 4 /* functionType */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isConstructor:()Z
            ifeq 50
            aload 4 /* functionType */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.declaringClass:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            goto 51
      StackMap locals:
      StackMap stack:
        50: aload 4 /* functionType */
            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
        51: astore 8 /* r */
        start local 8 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding r
        52: .line 303
            aload 8 /* r */
            getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.id:I
            bipush 6
            if_icmpne 54
        53: .line 304
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.TRUE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        54: .line 306
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap stack:
            aload 7 /* compileTimeDecl */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.shallowOriginal:()Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            astore 9 /* original */
        start local 9 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding original
        55: .line 307
            aload 0 /* this */
            aload 1 /* reference */
            aload 9 /* original */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.needsInference:(Lorg/eclipse/jdt/internal/compiler/ast/ReferenceExpression;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;)Z
            ifeq 81
        56: .line 309
            aload 3 /* t */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isParameterizedType:()Z
            ifeq 60
        57: .line 310
            aload 3 /* t */
            checkcast org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding
            aload 2 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            iconst_1
            aload 1 /* reference */
            getfield org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.sourceStart:I
            aload 1 /* reference */
            getfield org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.sourceEnd:I
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.getSingleAbstractMethod:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;ZII)Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            astore 11 /* capturedFunctionType */
        start local 11 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding capturedFunctionType
        58: .line 311
            aload 11 /* capturedFunctionType */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 10 /* argumentTypes */
        end local 11 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding capturedFunctionType
        start local 10 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] argumentTypes
        59: .line 312
            goto 61
        end local 10 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] argumentTypes
        60: .line 313
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.MethodBinding
      StackMap stack:
            aload 4 /* functionType */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 10 /* argumentTypes */
        start local 10 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] argumentTypes
        61: .line 315
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding[]
      StackMap stack:
            aload 2 /* inferenceContext */
            aload 1 /* reference */
            aload 1 /* reference */
            aload 10 /* argumentTypes */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.createPseudoExpressions:([Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)[Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.enterPolyInvocation:(Lorg/eclipse/jdt/internal/compiler/lookup/InvocationSite;[Lorg/eclipse/jdt/internal/compiler/ast/Expression;)Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;
            astore 11 /* prevInvocation */
        start local 11 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18$SuspendedInferenceRecord prevInvocation
        62: .line 318
            aconst_null
            astore 12 /* innerContext */
        start local 12 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 innerContext
        63: .line 320
            aload 1 /* reference */
            aload 7 /* compileTimeDecl */
            checkcast org.eclipse.jdt.internal.compiler.lookup.ParameterizedMethodBinding
            invokevirtual org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.getInferenceContext:(Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedMethodBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
            astore 12 /* innerContext */
        64: .line 321
            aload 12 /* innerContext */
            ifnull 66
        65: .line 322
            aload 12 /* innerContext */
            aload 2 /* inferenceContext */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.pushBoundsTo:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
        66: .line 323
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.InferenceContext18$SuspendedInferenceRecord org.eclipse.jdt.internal.compiler.lookup.InferenceContext18
      StackMap stack:
            aload 0 /* this */
            aload 7 /* compileTimeDecl */
            aload 10 /* argumentTypes */
            aload 12 /* innerContext */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.determineInferenceKind:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)I
            istore 13 /* innerInferenceKind */
        start local 13 // int innerInferenceKind
        67: .line 324
            aload 2 /* inferenceContext */
            aload 9 /* original */
            aload 10 /* argumentTypes */
            aload 9 /* original */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isConstructor:()Z
            iload 13 /* innerInferenceKind */
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.inferInvocationApplicability:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;ZI)V
        68: .line 325
            aload 2 /* inferenceContext */
            aload 1 /* reference */
            aload 8 /* r */
            aload 9 /* original */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.computeB3:(Lorg/eclipse/jdt/internal/compiler/lookup/InvocationSite;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;)Z
            ifne 72
        69: .line 326
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            astore 15
        70: .line 331
            aload 2 /* inferenceContext */
            aload 11 /* prevInvocation */
            aload 12 /* innerContext */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.resumeSuspendedInference:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
        71: .line 326
            aload 15
            areturn
        72: .line 331
      StackMap locals: int
      StackMap stack:
            aload 2 /* inferenceContext */
            aload 11 /* prevInvocation */
            aload 12 /* innerContext */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.resumeSuspendedInference:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
        73: .line 327
            aconst_null
            areturn
        end local 13 // int innerInferenceKind
        74: .line 328
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.ast.ReferenceExpression org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding int org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.lookup.InferenceContext18$SuspendedInferenceRecord org.eclipse.jdt.internal.compiler.lookup.InferenceContext18
      StackMap stack: org.eclipse.jdt.internal.compiler.lookup.InferenceFailureException
            pop
        75: .line 329
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            astore 15
        76: .line 331
            aload 2 /* inferenceContext */
            aload 11 /* prevInvocation */
            aload 12 /* innerContext */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.resumeSuspendedInference:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
        77: .line 329
            aload 15
            areturn
        78: .line 330
      StackMap locals:
      StackMap stack: java.lang.Throwable
            astore 14
        79: .line 331
            aload 2 /* inferenceContext */
            aload 11 /* prevInvocation */
            aload 12 /* innerContext */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.resumeSuspendedInference:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)V
        80: .line 332
            aload 14
            athrow
        end local 12 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 innerContext
        end local 11 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18$SuspendedInferenceRecord prevInvocation
        end local 10 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] argumentTypes
        81: .line 334
      StackMap locals:
      StackMap stack:
            aload 7 /* compileTimeDecl */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isConstructor:()Z
            ifeq 82
            aload 7 /* compileTimeDecl */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.declaringClass:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            goto 83
      StackMap locals:
      StackMap stack:
        82: aload 7 /* compileTimeDecl */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 2 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            aload 1 /* reference */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.sourceStart:()I
            aload 1 /* reference */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.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;
      StackMap locals:
      StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
        83: astore 10 /* rPrime */
        start local 10 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding rPrime
        84: .line 335
            aload 10 /* rPrime */
            getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.id:I
            bipush 6
            if_icmpne 86
        85: .line 336
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.FALSE:Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            areturn
        86: .line 337
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap stack:
            aload 10 /* rPrime */
            aload 8 /* r */
            iconst_1
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.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 10 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding rPrime
        end local 9 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding original
        end local 8 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding r
        end local 7 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding compileTimeDecl
        end local 6 // int n
        end local 5 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding potentiallyApplicable
        end local 4 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding functionType
        end local 3 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding t
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 inferenceContext
        end local 1 // org.eclipse.jdt.internal.compiler.ast.ReferenceExpression reference
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula this
      LocalVariableTable:
        Start  End  Slot                   Name  Signature
            0   87     0                   this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintExpressionFormula;
            0   87     1              reference  Lorg/eclipse/jdt/internal/compiler/ast/ReferenceExpression;
            0   87     2       inferenceContext  Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
            1   87     3                      t  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            6   87     4           functionType  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
           12   87     5  potentiallyApplicable  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
           16   39     6         newConstraints  Ljava/util/List<Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;>;
           17   39     7                      p  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           18   39     8                      n  I
           19   39     9                 pPrime  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           20   39    10                      k  I
           21   39    11                 offset  I
           25   29    12                      i  I
           30   39    12                      r  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           34   38    13                  rAppl  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           37   38    14                 rPrime  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           40   87     6                      n  I
           41   46     7                      i  I
           47   87     7        compileTimeDecl  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
           52   87     8                      r  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           55   87     9               original  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
           59   60    10          argumentTypes  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           61   81    10          argumentTypes  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           58   59    11   capturedFunctionType  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
           62   81    11         prevInvocation  Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18$SuspendedInferenceRecord;
           63   81    12           innerContext  Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
           67   74    13     innerInferenceKind  I
           84   87    10                 rPrime  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
      Exception table:
        from    to  target  type
          63    70      74  Class org.eclipse.jdt.internal.compiler.lookup.InferenceFailureException
          63    70      78  any
          74    76      78  any
    MethodParameters:
                  Name  Flags
      reference         
      inferenceContext  

  private boolean needsInference(org.eclipse.jdt.internal.compiler.ast.ReferenceExpression, org.eclipse.jdt.internal.compiler.lookup.MethodBinding);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/ast/ReferenceExpression;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;)Z
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=3, locals=4, args_size=3
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula this
        start local 1 // org.eclipse.jdt.internal.compiler.ast.ReferenceExpression reference
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding original
         0: .line 342
            aload 1 /* reference */
            getfield org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.typeArguments:[Lorg/eclipse/jdt/internal/compiler/ast/TypeReference;
            ifnull 2
         1: .line 343
            iconst_0
            ireturn
         2: .line 345
      StackMap locals:
      StackMap stack:
            aload 2 /* original */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isConstructor:()Z
            ifeq 8
         3: .line 348
            aload 2 /* original */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.declaringClass:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding.typeVariables:()[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
            getstatic org.eclipse.jdt.internal.compiler.lookup.Binding.NO_TYPE_VARIABLES:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
            if_acmpeq 6
         4: .line 349
            aload 1 /* reference */
            getfield org.eclipse.jdt.internal.compiler.ast.ReferenceExpression.receiverType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isRawType:()Z
            ifeq 6
         5: .line 350
            iconst_1
            ireturn
         6: .line 351
      StackMap locals:
      StackMap stack:
            aload 2 /* original */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.declaringClass:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            astore 3 /* compileTimeReturn */
        start local 3 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding compileTimeReturn
         7: .line 352
            goto 9
        end local 3 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding compileTimeReturn
         8: .line 353
      StackMap locals:
      StackMap stack:
            aload 2 /* original */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 3 /* compileTimeReturn */
        start local 3 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding compileTimeReturn
         9: .line 355
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap stack:
            aload 2 /* original */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.typeVariables:()[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
            getstatic org.eclipse.jdt.internal.compiler.lookup.Binding.NO_TYPE_VARIABLES:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
            if_acmpeq 12
        10: .line 356
            aload 3 /* compileTimeReturn */
            aload 2 /* original */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.typeVariables:()[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
            iconst_m1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.mentionsAny:([Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)Z
            ifeq 12
        11: .line 355
            iconst_1
            ireturn
      StackMap locals:
      StackMap stack:
        12: iconst_0
            ireturn
        end local 3 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding compileTimeReturn
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding original
        end local 1 // org.eclipse.jdt.internal.compiler.ast.ReferenceExpression reference
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula this
      LocalVariableTable:
        Start  End  Slot               Name  Signature
            0   13     0               this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintExpressionFormula;
            0   13     1          reference  Lorg/eclipse/jdt/internal/compiler/ast/ReferenceExpression;
            0   13     2           original  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            7    8     3  compileTimeReturn  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            9   13     3  compileTimeReturn  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
    MethodParameters:
           Name  Flags
      reference  
      original   

  private int determineInferenceKind(org.eclipse.jdt.internal.compiler.lookup.MethodBinding, org.eclipse.jdt.internal.compiler.lookup.TypeBinding[], org.eclipse.jdt.internal.compiler.lookup.InferenceContext18);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)I
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=3, locals=8, args_size=4
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding original
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] argumentTypes
        start local 3 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 innerContext
         0: .line 360
            aload 3 /* innerContext */
            ifnull 2
         1: .line 361
            aload 3 /* innerContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.inferenceKind:I
            ireturn
         2: .line 362
      StackMap locals:
      StackMap stack:
            aload 1 /* original */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isVarargs:()Z
            ifeq 15
         3: .line 363
            aload 1 /* original */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            arraylength
            istore 4 /* expectedLen */
        start local 4 // int expectedLen
         4: .line 364
            aload 2 /* argumentTypes */
            arraylength
            istore 5 /* providedLen */
        start local 5 // int providedLen
         5: .line 365
            iload 4 /* expectedLen */
            iload 5 /* providedLen */
            if_icmpge 7
         6: .line 366
            iconst_3
            ireturn
         7: .line 367
      StackMap locals: int int
      StackMap stack:
            iload 4 /* expectedLen */
            iload 5 /* providedLen */
            if_icmpne 15
         8: .line 368
            aload 2 /* argumentTypes */
            iload 4 /* expectedLen */
            iconst_1
            isub
            aaload
            astore 6 /* providedLast */
        start local 6 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding providedLast
         9: .line 369
            aload 1 /* original */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iload 4 /* expectedLen */
            iconst_1
            isub
            aaload
            astore 7 /* expectedLast */
        start local 7 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding expectedLast
        10: .line 370
            aload 6 /* providedLast */
            aload 7 /* expectedLast */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isCompatibleWith:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifne 15
        11: .line 371
            aload 7 /* expectedLast */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isArrayType:()Z
            ifeq 15
        12: .line 372
            aload 7 /* expectedLast */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 7 /* expectedLast */
        13: .line 373
            aload 6 /* providedLast */
            aload 7 /* expectedLast */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isCompatibleWith:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifeq 15
        14: .line 374
            iconst_3
            ireturn
        end local 7 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding expectedLast
        end local 6 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding providedLast
        end local 5 // int providedLen
        end local 4 // int expectedLen
        15: .line 379
      StackMap locals:
      StackMap stack:
            iconst_1
            ireturn
        end local 3 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 innerContext
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] argumentTypes
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding original
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula this
      LocalVariableTable:
        Start  End  Slot           Name  Signature
            0   16     0           this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintExpressionFormula;
            0   16     1       original  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            0   16     2  argumentTypes  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            0   16     3   innerContext  Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
            4   15     4    expectedLen  I
            5   15     5    providedLen  I
            9   15     6   providedLast  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           10   15     7   expectedLast  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
    MethodParameters:
               Name  Flags
      original       
      argumentTypes  
      innerContext   

  static void inferInvocationApplicability(org.eclipse.jdt.internal.compiler.lookup.InferenceContext18, org.eclipse.jdt.internal.compiler.lookup.MethodBinding, org.eclipse.jdt.internal.compiler.lookup.TypeBinding[], boolean, int);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;ZI)V
    flags: (0x0008) ACC_STATIC
    Code:
      stack=5, locals=10, args_size=5
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 inferenceContext
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding method
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] arguments
        start local 3 // boolean isDiamond
        start local 4 // int checkType
         0: .line 385
            aload 1 /* method */
            iload 3 /* isDiamond */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.getAllTypeVariables:(Z)[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
            astore 5 /* typeVariables */
        start local 5 // org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] typeVariables
         1: .line 386
            aload 0 /* inferenceContext */
            aload 5 /* typeVariables */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.createInitialBoundSet:([Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;)[Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
            astore 6 /* inferenceVariables */
        start local 6 // org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] inferenceVariables
         2: .line 389
            aload 1 /* method */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            arraylength
            istore 7 /* paramLength */
        start local 7 // int paramLength
         3: .line 390
            aconst_null
            astore 8 /* varArgsType */
        start local 8 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding varArgsType
         4: .line 391
            aload 1 /* method */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isVarargs:()Z
            ifeq 7
         5: .line 392
            iload 7 /* paramLength */
            iconst_1
            isub
            istore 9 /* varArgPos */
        start local 9 // int varArgPos
         6: .line 393
            aload 1 /* method */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iload 9 /* varArgPos */
            aaload
            astore 8 /* varArgsType */
        end local 9 // int varArgPos
         7: .line 395
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] int int org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] int org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap stack:
            aload 0 /* inferenceContext */
            aload 1 /* method */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iload 4 /* checkType */
            iconst_3
            if_icmpne 8
            iconst_1
            goto 9
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] int int org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] int org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap stack: org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.TypeBinding[]
         8: iconst_0
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] int int org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] int org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap stack: org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] int
         9: aload 8 /* varArgsType */
            aload 1 /* method */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.createInitialConstraintsForParameters:([Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;ZLorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;)V
        10: .line 396
            aload 0 /* inferenceContext */
            aload 5 /* typeVariables */
            aload 6 /* inferenceVariables */
            aload 1 /* method */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.thrownExceptions:[Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.addThrowsContraints:([Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;[Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;)V
        11: .line 397
            return
        end local 8 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding varArgsType
        end local 7 // int paramLength
        end local 6 // org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] inferenceVariables
        end local 5 // org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] typeVariables
        end local 4 // int checkType
        end local 3 // boolean isDiamond
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] arguments
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding method
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 inferenceContext
      LocalVariableTable:
        Start  End  Slot                Name  Signature
            0   12     0    inferenceContext  Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
            0   12     1              method  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            0   12     2           arguments  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            0   12     3           isDiamond  Z
            0   12     4           checkType  I
            1   12     5       typeVariables  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
            2   12     6  inferenceVariables  [Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
            3   12     7         paramLength  I
            4   12     8         varArgsType  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            6    7     9           varArgPos  I
    MethodParameters:
                  Name  Flags
      inferenceContext  
      method            
      arguments         
      isDiamond         
      checkType         

  static boolean inferPolyInvocationType(org.eclipse.jdt.internal.compiler.lookup.InferenceContext18, org.eclipse.jdt.internal.compiler.lookup.InvocationSite, org.eclipse.jdt.internal.compiler.lookup.TypeBinding, org.eclipse.jdt.internal.compiler.lookup.MethodBinding);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;Lorg/eclipse/jdt/internal/compiler/lookup/InvocationSite;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;)Z
    flags: (0x0008) ACC_STATIC
    Code:
      stack=6, locals=14, args_size=4
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 inferenceContext
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.InvocationSite invocationSite
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding targetType
        start local 3 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding method
         0: .line 403
            aload 1 /* invocationSite */
            invokeinterface org.eclipse.jdt.internal.compiler.lookup.InvocationSite.genericTypeArguments:()[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 4 /* typeArguments */
        start local 4 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] typeArguments
         1: .line 404
            aload 4 /* typeArguments */
            ifnonnull 59
         2: .line 406
            aload 3 /* method */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isConstructor:()Z
            ifeq 3
            aload 3 /* method */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.declaringClass:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            goto 4
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding[]
      StackMap stack:
         3: aload 3 /* method */
            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
         4: astore 5 /* returnType */
        start local 5 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding returnType
         5: .line 407
            aload 5 /* returnType */
            getstatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.VOID:Lorg/eclipse/jdt/internal/compiler/lookup/VoidTypeBinding;
            if_acmpne 7
         6: .line 408
            new org.eclipse.jdt.internal.compiler.lookup.InferenceFailureException
            dup
            ldc "expression has no value"
            invokespecial org.eclipse.jdt.internal.compiler.lookup.InferenceFailureException.<init>:(Ljava/lang/String;)V
            athrow
         7: .line 410
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap stack:
            aload 0 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.usesUncheckedConversion:Z
            ifeq 11
         8: .line 411
            aload 5 /* returnType */
            aload 0 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.getRealErasure:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 6 /* erasure */
        start local 6 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding erasure
         9: .line 412
            aload 6 /* erasure */
            aload 2 /* targetType */
            iconst_1
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            astore 7 /* newConstraint */
        start local 7 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula newConstraint
        10: .line 413
            aload 0 /* inferenceContext */
            aload 7 /* newConstraint */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.reduceAndIncorporate:(Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;)Z
            ireturn
        end local 7 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula newConstraint
        end local 6 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding erasure
        11: .line 415
      StackMap locals:
      StackMap stack:
            aload 0 /* inferenceContext */
            aload 5 /* returnType */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.substitute:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 6 /* rTheta */
        start local 6 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding rTheta
        12: .line 416
            aload 6 /* rTheta */
            invokestatic org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.parameterizedWithWildcard:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
            astore 7 /* parameterizedType */
        start local 7 // org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding parameterizedType
        13: .line 417
            aload 7 /* parameterizedType */
            ifnull 33
            aload 7 /* parameterizedType */
            getfield org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.arguments:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            ifnull 33
        14: .line 418
            aload 7 /* parameterizedType */
            getfield org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.arguments:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 8 /* arguments */
        start local 8 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] arguments
        15: .line 419
            aload 0 /* inferenceContext */
            aload 8 /* arguments */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.addTypeVariableSubstitutions:([Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)[Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
            astore 9 /* betas */
        start local 9 // org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] betas
        16: .line 420
            aload 0 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
        17: .line 421
            aload 7 /* parameterizedType */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.genericType:()Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            aload 9 /* betas */
            aload 7 /* parameterizedType */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.enclosingType:()Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            aload 7 /* parameterizedType */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding.getTypeAnnotations:()[Lorg/eclipse/jdt/internal/compiler/lookup/AnnotationBinding;
        18: .line 420
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.createParameterizedType:(Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/AnnotationBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
            astore 10 /* gbeta */
        start local 10 // org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding gbeta
        19: .line 422
            aload 0 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.currentBounds:Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
            getfield org.eclipse.jdt.internal.compiler.lookup.BoundSet.captures:Ljava/util/HashMap;
            aload 10 /* gbeta */
            aload 7 /* parameterizedType */
            invokevirtual java.util.HashMap.put:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
            pop
        20: .line 424
            iconst_0
            istore 11 /* i */
        start local 11 // int i
        21: aload 8 /* arguments */
            arraylength
            istore 12 /* length */
        start local 12 // int length
        22: goto 30
        23: .line 425
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.InvocationSite org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding int int
      StackMap stack:
            aload 8 /* arguments */
            iload 11 /* i */
            aaload
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isWildcard:()Z
            ifeq 29
        24: .line 426
            aload 8 /* arguments */
            iload 11 /* i */
            aaload
            checkcast org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
            astore 13 /* wc */
        start local 13 // org.eclipse.jdt.internal.compiler.lookup.WildcardBinding wc
        25: .line 427
            aload 13 /* wc */
            getfield org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.boundKind:I
            tableswitch { // 1 - 2
                    1: 26
                    2: 28
              default: 29
          }
        26: .line 429
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.WildcardBinding
      StackMap stack:
            aload 0 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.currentBounds:Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
            new org.eclipse.jdt.internal.compiler.lookup.TypeBound
            dup
            aload 9 /* betas */
            iload 11 /* i */
            aaload
            aload 13 /* wc */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_2
            invokespecial org.eclipse.jdt.internal.compiler.lookup.TypeBound.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)V
            aload 0 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.addBound:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)V
        27: .line 430
            goto 29
        28: .line 432
      StackMap locals:
      StackMap stack:
            aload 0 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.currentBounds:Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
            new org.eclipse.jdt.internal.compiler.lookup.TypeBound
            dup
            aload 9 /* betas */
            iload 11 /* i */
            aaload
            aload 13 /* wc */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.WildcardBinding.bound:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_3
            invokespecial org.eclipse.jdt.internal.compiler.lookup.TypeBound.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)V
            aload 0 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.addBound:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBound;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)V
        end local 13 // org.eclipse.jdt.internal.compiler.lookup.WildcardBinding wc
        29: .line 424
      StackMap locals:
      StackMap stack:
            iinc 11 /* i */ 1
      StackMap locals:
      StackMap stack:
        30: iload 11 /* i */
            iload 12 /* length */
            if_icmplt 23
        end local 12 // int length
        end local 11 // int i
        31: .line 438
            aload 10 /* gbeta */
            aload 2 /* targetType */
            iconst_1
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            astore 11 /* newConstraint */
        start local 11 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula newConstraint
        32: .line 439
            aload 0 /* inferenceContext */
            aload 11 /* newConstraint */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.reduceAndIncorporate:(Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;)Z
            ireturn
        end local 11 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula newConstraint
        end local 10 // org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding gbeta
        end local 9 // org.eclipse.jdt.internal.compiler.lookup.InferenceVariable[] betas
        end local 8 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] arguments
        33: .line 441
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.InvocationSite org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding
      StackMap stack:
            aload 6 /* rTheta */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            ifeq 56
        34: .line 442
            aload 6 /* rTheta */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            checkcast org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            astore 8 /* alpha */
        start local 8 // org.eclipse.jdt.internal.compiler.lookup.InferenceVariable alpha
        35: .line 443
            aload 2 /* targetType */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 9 /* targetLeafType */
        start local 9 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding targetLeafType
        36: .line 444
            iconst_0
            istore 10 /* toResolve */
        start local 10 // boolean toResolve
        37: .line 445
            aload 0 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.currentBounds:Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
            aload 8 /* alpha */
            aload 9 /* targetLeafType */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.condition18_5_2_bullet_3_3_1:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifeq 40
        38: .line 446
            iconst_1
            istore 10 /* toResolve */
        39: .line 447
            goto 47
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.InferenceVariable org.eclipse.jdt.internal.compiler.lookup.TypeBinding int
      StackMap stack:
        40: aload 0 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.currentBounds:Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
            aload 8 /* alpha */
            aload 9 /* targetLeafType */
            aload 0 /* inferenceContext */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.condition18_5_2_bullet_3_3_2:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Z
            ifeq 43
        41: .line 448
            iconst_1
            istore 10 /* toResolve */
        42: .line 449
            goto 47
      StackMap locals:
      StackMap stack:
        43: aload 9 /* targetLeafType */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isPrimitiveType:()Z
            ifeq 47
        44: .line 450
            aload 0 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.currentBounds:Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
            aload 8 /* alpha */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.BoundSet.findWrapperTypeBound:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 11 /* wrapper */
        start local 11 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding wrapper
        45: .line 451
            aload 11 /* wrapper */
            ifnull 47
        46: .line 452
            iconst_1
            istore 10 /* toResolve */
        end local 11 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding wrapper
        47: .line 454
      StackMap locals:
      StackMap stack:
            iload 10 /* toResolve */
            ifeq 56
        48: .line 455
            aload 0 /* inferenceContext */
            iconst_1
            anewarray org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            dup
            iconst_0
            aload 8 /* alpha */
            aastore
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.solve:([Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;)Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
            astore 11 /* solution */
        start local 11 // org.eclipse.jdt.internal.compiler.lookup.BoundSet solution
        49: .line 456
            aload 11 /* solution */
            ifnonnull 51
        50: .line 457
            iconst_0
            ireturn
        51: .line 458
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.BoundSet
      StackMap stack:
            aload 11 /* solution */
            aload 8 /* alpha */
            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;
            aload 0 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            aload 1 /* invocationSite */
            invokeinterface org.eclipse.jdt.internal.compiler.lookup.InvocationSite.sourceStart:()I
            aload 1 /* invocationSite */
            invokeinterface org.eclipse.jdt.internal.compiler.lookup.InvocationSite.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;
            astore 12 /* u */
        start local 12 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding u
        52: .line 459
            aload 6 /* rTheta */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.dimensions:()I
            ifeq 54
        53: .line 460
            aload 0 /* inferenceContext */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            aload 12 /* u */
            aload 6 /* rTheta */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.dimensions:()I
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.createArrayType:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)Lorg/eclipse/jdt/internal/compiler/lookup/ArrayBinding;
            astore 12 /* u */
        54: .line 462
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap stack:
            aload 12 /* u */
            aload 2 /* targetType */
            iconst_1
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            astore 13 /* newConstraint */
        start local 13 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula newConstraint
        55: .line 463
            aload 0 /* inferenceContext */
            aload 13 /* newConstraint */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.reduceAndIncorporate:(Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;)Z
            ireturn
        end local 13 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula newConstraint
        end local 12 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding u
        end local 11 // org.eclipse.jdt.internal.compiler.lookup.BoundSet solution
        end local 10 // boolean toResolve
        end local 9 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding targetLeafType
        end local 8 // org.eclipse.jdt.internal.compiler.lookup.InferenceVariable alpha
        56: .line 466
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.InvocationSite org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding
      StackMap stack:
            aload 6 /* rTheta */
            aload 2 /* targetType */
            iconst_1
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula.create:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
            astore 8 /* newConstraint */
        start local 8 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula newConstraint
        57: .line 467
            aload 0 /* inferenceContext */
            aload 8 /* newConstraint */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.reduceAndIncorporate:(Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintFormula;)Z
            ifne 59
        58: .line 468
            iconst_0
            ireturn
        end local 8 // org.eclipse.jdt.internal.compiler.lookup.ConstraintTypeFormula newConstraint
        end local 7 // org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding parameterizedType
        end local 6 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding rTheta
        end local 5 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding returnType
        59: .line 470
      StackMap locals:
      StackMap stack:
            iconst_1
            ireturn
        end local 4 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] typeArguments
        end local 3 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding method
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding targetType
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.InvocationSite invocationSite
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 inferenceContext
      LocalVariableTable:
        Start  End  Slot               Name  Signature
            0   60     0   inferenceContext  Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
            0   60     1     invocationSite  Lorg/eclipse/jdt/internal/compiler/lookup/InvocationSite;
            0   60     2         targetType  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            0   60     3             method  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            1   60     4      typeArguments  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            5   59     5         returnType  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            9   11     6            erasure  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           10   11     7      newConstraint  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
           12   59     6             rTheta  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           13   59     7  parameterizedType  Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
           15   33     8          arguments  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           16   33     9              betas  [Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
           19   33    10              gbeta  Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
           21   31    11                  i  I
           22   31    12             length  I
           25   29    13                 wc  Lorg/eclipse/jdt/internal/compiler/lookup/WildcardBinding;
           32   33    11      newConstraint  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
           35   56     8              alpha  Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;
           36   56     9     targetLeafType  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           37   56    10          toResolve  Z
           45   47    11            wrapper  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           49   56    11           solution  Lorg/eclipse/jdt/internal/compiler/lookup/BoundSet;
           52   56    12                  u  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           55   56    13      newConstraint  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
           57   59     8      newConstraint  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintTypeFormula;
    Exceptions:
      throws org.eclipse.jdt.internal.compiler.lookup.InferenceFailureException
    MethodParameters:
                  Name  Flags
      inferenceContext  
      invocationSite    
      targetType        
      method            

  private static org.eclipse.jdt.internal.compiler.lookup.TypeBinding getRealErasure(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: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=3, locals=4, args_size=2
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding type
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment environment
         0: .line 474
            aload 0 /* type */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.erasure:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 2 /* erasure */
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding erasure
         1: .line 476
            aload 2 /* erasure */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 3 /* erasedLeaf */
        start local 3 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding erasedLeaf
         2: .line 477
            aload 3 /* erasedLeaf */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isGenericType:()Z
            ifeq 4
         3: .line 478
            aload 1 /* environment */
            aload 3 /* erasedLeaf */
            iconst_0
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.convertToRawType:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Z)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 3 /* erasedLeaf */
         4: .line 479
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap stack:
            aload 2 /* erasure */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isArrayType:()Z
            ifeq 6
         5: .line 480
            aload 1 /* environment */
            aload 3 /* erasedLeaf */
            aload 2 /* erasure */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.dimensions:()I
            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
         6: .line 481
      StackMap locals:
      StackMap stack:
            aload 3 /* erasedLeaf */
            areturn
        end local 3 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding erasedLeaf
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding erasure
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment environment
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding type
      LocalVariableTable:
        Start  End  Slot         Name  Signature
            0    7     0         type  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            0    7     1  environment  Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            1    7     2      erasure  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            2    7     3   erasedLeaf  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
    MethodParameters:
             Name  Flags
      type         
      environment  

  java.util.Collection<org.eclipse.jdt.internal.compiler.lookup.InferenceVariable> inputVariables(org.eclipse.jdt.internal.compiler.lookup.InferenceContext18);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/util/Collection;
    flags: (0x0000) 
    Code:
      stack=6, locals=12, args_size=2
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 context
         0: .line 487
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            instanceof org.eclipse.jdt.internal.compiler.ast.LambdaExpression
            ifeq 35
         1: .line 488
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            ifeq 3
         2: .line 489
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            checkcast org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            invokestatic java.util.Collections.singletonList:(Ljava/lang/Object;)Ljava/util/List;
            areturn
         3: .line 491
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 1 /* context */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isFunctionalInterface:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;)Z
            ifeq 62
         4: .line 492
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            checkcast org.eclipse.jdt.internal.compiler.ast.LambdaExpression
            astore 2 /* lambda */
        start local 2 // org.eclipse.jdt.internal.compiler.ast.LambdaExpression lambda
         5: .line 493
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            checkcast org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding
            astore 3 /* targetType */
        start local 3 // org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding targetType
         6: .line 494
            aload 3 /* targetType */
            invokestatic org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.parameterizedWithWildcard:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
            astore 4 /* withWildCards */
        start local 4 // org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding withWildCards
         7: .line 495
            aload 4 /* withWildCards */
            ifnull 9
         8: .line 496
            aload 1 /* context */
            aload 2 /* lambda */
            getfield org.eclipse.jdt.internal.compiler.ast.LambdaExpression.enclosingScope:Lorg/eclipse/jdt/internal/compiler/lookup/BlockScope;
            aload 2 /* lambda */
            aload 4 /* withWildCards */
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.findGroundTargetType:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;Lorg/eclipse/jdt/internal/compiler/lookup/BlockScope;Lorg/eclipse/jdt/internal/compiler/ast/LambdaExpression;Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            astore 3 /* targetType */
         9: .line 498
      StackMap locals: org.eclipse.jdt.internal.compiler.ast.LambdaExpression org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding
      StackMap stack:
            aload 3 /* targetType */
            ifnonnull 11
        10: .line 499
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.EMPTY_VARIABLE_LIST:Ljava/util/List;
            areturn
        11: .line 501
      StackMap locals:
      StackMap stack:
            aload 3 /* targetType */
            aload 1 /* context */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding.getSingleAbstractMethod:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;Z)Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            astore 5 /* sam */
        start local 5 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding sam
        12: .line 502
            new java.util.HashSet
            dup
            invokespecial java.util.HashSet.<init>:()V
            astore 6 /* variables */
        start local 6 // java.util.Set variables
        13: .line 503
            aload 2 /* lambda */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.argumentsTypeElided:()Z
            ifeq 20
        14: .line 505
            aload 5 /* sam */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            arraylength
            istore 7 /* len */
        start local 7 // int len
        15: .line 506
            iconst_0
            istore 8 /* i */
        start local 8 // int i
        16: goto 19
        17: .line 507
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.ast.LambdaExpression org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding java.util.Set int int
      StackMap stack:
            aload 5 /* sam */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iload 8 /* i */
            aaload
            aload 6 /* variables */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.collectInferenceVariables:(Ljava/util/Set;)V
        18: .line 506
            iinc 8 /* i */ 1
      StackMap locals:
      StackMap stack:
        19: iload 8 /* i */
            iload 7 /* len */
            if_icmplt 17
        end local 8 // int i
        end local 7 // int len
        20: .line 510
      StackMap locals:
      StackMap stack:
            aload 5 /* sam */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            getstatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.VOID:Lorg/eclipse/jdt/internal/compiler/lookup/VoidTypeBinding;
            if_acmpeq 34
        21: .line 512
            aload 5 /* sam */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 7 /* r */
        start local 7 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding r
        22: .line 513
            aload 2 /* lambda */
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 1 /* context */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            aload 1 /* context */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.resolveExpressionExpecting:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/Scope;Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Lorg/eclipse/jdt/internal/compiler/ast/LambdaExpression;
            astore 8 /* resolved */
        start local 8 // org.eclipse.jdt.internal.compiler.ast.LambdaExpression resolved
        23: .line 514
            aload 8 /* resolved */
            ifnull 24
            aload 8 /* resolved */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.LambdaExpression.resultExpressions:()[Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            goto 25
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.ast.LambdaExpression
      StackMap stack:
        24: aconst_null
      StackMap locals:
      StackMap stack: org.eclipse.jdt.internal.compiler.ast.Expression[]
        25: astore 9 /* resultExpressions */
        start local 9 // org.eclipse.jdt.internal.compiler.ast.Expression[] resultExpressions
        26: .line 515
            iconst_0
            istore 10 /* i */
        start local 10 // int i
        27: aload 9 /* resultExpressions */
            ifnonnull 28
            iconst_0
            goto 29
      StackMap locals: org.eclipse.jdt.internal.compiler.ast.Expression[] int
      StackMap stack:
        28: aload 9 /* resultExpressions */
            arraylength
      StackMap locals:
      StackMap stack: int
        29: istore 11 /* length */
        start local 11 // int length
        30: goto 33
        31: .line 516
      StackMap locals: int
      StackMap stack:
            aload 6 /* variables */
            new org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula
            dup
            aload 9 /* resultExpressions */
            iload 10 /* i */
            aaload
            aload 7 /* r */
            iconst_1
            invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.<init>:(Lorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)V
            aload 1 /* context */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.inputVariables:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/util/Collection;
            invokeinterface java.util.Set.addAll:(Ljava/util/Collection;)Z
            pop
        32: .line 515
            iinc 10 /* i */ 1
      StackMap locals:
      StackMap stack:
        33: iload 10 /* i */
            iload 11 /* length */
            if_icmplt 31
        end local 11 // int length
        end local 10 // int i
        end local 9 // org.eclipse.jdt.internal.compiler.ast.Expression[] resultExpressions
        end local 8 // org.eclipse.jdt.internal.compiler.ast.LambdaExpression resolved
        end local 7 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding r
        34: .line 519
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.ast.LambdaExpression org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding java.util.Set
      StackMap stack:
            aload 6 /* variables */
            areturn
        end local 6 // java.util.Set variables
        end local 5 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding sam
        end local 4 // org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding withWildCards
        end local 3 // org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding targetType
        end local 2 // org.eclipse.jdt.internal.compiler.ast.LambdaExpression lambda
        35: .line 521
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            instanceof org.eclipse.jdt.internal.compiler.ast.ReferenceExpression
            ifeq 48
        36: .line 522
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            instanceof org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            ifeq 38
        37: .line 523
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            checkcast org.eclipse.jdt.internal.compiler.lookup.InferenceVariable
            invokestatic java.util.Collections.singletonList:(Ljava/lang/Object;)Ljava/util/List;
            areturn
        38: .line 525
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 1 /* context */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isFunctionalInterface:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;)Z
            ifeq 62
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.isExactMethodReference:()Z
            ifne 62
        39: .line 526
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 1 /* context */
            getfield org.eclipse.jdt.internal.compiler.lookup.InferenceContext18.scope:Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            iconst_1
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.getSingleAbstractMethod:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;Z)Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            astore 2 /* sam */
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding sam
        40: .line 527
            new java.util.HashSet
            dup
            invokespecial java.util.HashSet.<init>:()V
            astore 3 /* variables */
        start local 3 // java.util.Set variables
        41: .line 528
            aload 2 /* sam */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            arraylength
            istore 4 /* len */
        start local 4 // int len
        42: .line 529
            iconst_0
            istore 5 /* i */
        start local 5 // int i
        43: goto 46
        44: .line 530
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.lookup.MethodBinding java.util.Set int int
      StackMap stack:
            aload 2 /* sam */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iload 5 /* i */
            aaload
            aload 3 /* variables */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.collectInferenceVariables:(Ljava/util/Set;)V
        45: .line 529
            iinc 5 /* i */ 1
      StackMap locals:
      StackMap stack:
        46: iload 5 /* i */
            iload 4 /* len */
            if_icmplt 44
        end local 5 // int i
        47: .line 532
            aload 3 /* variables */
            areturn
        end local 4 // int len
        end local 3 // java.util.Set variables
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding sam
        48: .line 534
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            instanceof org.eclipse.jdt.internal.compiler.ast.ConditionalExpression
            ifeq 54
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.isPolyExpression:()Z
            ifeq 54
        49: .line 535
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            checkcast org.eclipse.jdt.internal.compiler.ast.ConditionalExpression
            astore 2 /* expr */
        start local 2 // org.eclipse.jdt.internal.compiler.ast.ConditionalExpression expr
        50: .line 536
            new java.util.HashSet
            dup
            invokespecial java.util.HashSet.<init>:()V
            astore 3 /* variables */
        start local 3 // java.util.Set variables
        51: .line 537
            aload 3 /* variables */
            new org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula
            dup
            aload 2 /* expr */
            getfield org.eclipse.jdt.internal.compiler.ast.ConditionalExpression.valueIfTrue:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_1
            invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.<init>:(Lorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)V
            aload 1 /* context */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.inputVariables:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/util/Collection;
            invokeinterface java.util.Set.addAll:(Ljava/util/Collection;)Z
            pop
        52: .line 538
            aload 3 /* variables */
            new org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula
            dup
            aload 2 /* expr */
            getfield org.eclipse.jdt.internal.compiler.ast.ConditionalExpression.valueIfFalse:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_1
            invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.<init>:(Lorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)V
            aload 1 /* context */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.inputVariables:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/util/Collection;
            invokeinterface java.util.Set.addAll:(Ljava/util/Collection;)Z
            pop
        53: .line 539
            aload 3 /* variables */
            areturn
        end local 3 // java.util.Set variables
        end local 2 // org.eclipse.jdt.internal.compiler.ast.ConditionalExpression expr
        54: .line 540
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            instanceof org.eclipse.jdt.internal.compiler.ast.SwitchExpression
            ifeq 62
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.isPolyExpression:()Z
            ifeq 62
        55: .line 541
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            checkcast org.eclipse.jdt.internal.compiler.ast.SwitchExpression
            astore 2 /* expr */
        start local 2 // org.eclipse.jdt.internal.compiler.ast.SwitchExpression expr
        56: .line 542
            new java.util.HashSet
            dup
            invokespecial java.util.HashSet.<init>:()V
            astore 3 /* variables */
        start local 3 // java.util.Set variables
        57: .line 543
            aload 2 /* expr */
            getfield org.eclipse.jdt.internal.compiler.ast.SwitchExpression.resultExpressions:Ljava/util/List;
            invokeinterface java.util.List.iterator:()Ljava/util/Iterator;
            astore 5
            goto 60
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 org.eclipse.jdt.internal.compiler.ast.SwitchExpression java.util.Set top java.util.Iterator
      StackMap stack:
        58: aload 5
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast org.eclipse.jdt.internal.compiler.ast.Expression
            astore 4 /* re */
        start local 4 // org.eclipse.jdt.internal.compiler.ast.Expression re
        59: .line 544
            aload 3 /* variables */
            new org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula
            dup
            aload 4 /* re */
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iconst_1
            invokespecial org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.<init>:(Lorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;I)V
            aload 1 /* context */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.inputVariables:(Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/util/Collection;
            invokeinterface java.util.Set.addAll:(Ljava/util/Collection;)Z
            pop
        end local 4 // org.eclipse.jdt.internal.compiler.ast.Expression re
        60: .line 543
      StackMap locals:
      StackMap stack:
            aload 5
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 58
        61: .line 546
            aload 3 /* variables */
            areturn
        end local 3 // java.util.Set variables
        end local 2 // org.eclipse.jdt.internal.compiler.ast.SwitchExpression expr
        62: .line 548
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula org.eclipse.jdt.internal.compiler.lookup.InferenceContext18
      StackMap stack:
            getstatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.EMPTY_VARIABLE_LIST:Ljava/util/List;
            areturn
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.InferenceContext18 context
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula this
      LocalVariableTable:
        Start  End  Slot               Name  Signature
            0   63     0               this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintExpressionFormula;
            0   63     1            context  Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;
            5   35     2             lambda  Lorg/eclipse/jdt/internal/compiler/ast/LambdaExpression;
            6   35     3         targetType  Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            7   35     4      withWildCards  Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedTypeBinding;
           12   35     5                sam  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
           13   35     6          variables  Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;
           15   20     7                len  I
           16   20     8                  i  I
           22   34     7                  r  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           23   34     8           resolved  Lorg/eclipse/jdt/internal/compiler/ast/LambdaExpression;
           26   34     9  resultExpressions  [Lorg/eclipse/jdt/internal/compiler/ast/Expression;
           27   34    10                  i  I
           30   34    11             length  I
           40   48     2                sam  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
           41   48     3          variables  Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;
           42   48     4                len  I
           43   47     5                  i  I
           50   54     2               expr  Lorg/eclipse/jdt/internal/compiler/ast/ConditionalExpression;
           51   54     3          variables  Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;
           56   62     2               expr  Lorg/eclipse/jdt/internal/compiler/ast/SwitchExpression;
           57   62     3          variables  Ljava/util/Set<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;
           59   60     4                 re  Lorg/eclipse/jdt/internal/compiler/ast/Expression;
    Signature: (Lorg/eclipse/jdt/internal/compiler/lookup/InferenceContext18;)Ljava/util/Collection<Lorg/eclipse/jdt/internal/compiler/lookup/InferenceVariable;>;
    MethodParameters:
         Name  Flags
      context  final

  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.ConstraintExpressionFormula this
         0: .line 554
            new java.lang.StringBuffer
            dup
            invokespecial java.lang.StringBuffer.<init>:()V
            sipush 10216
            invokevirtual java.lang.StringBuffer.append:(C)Ljava/lang/StringBuffer;
            astore 1 /* buf */
        start local 1 // java.lang.StringBuffer buf
         1: .line 555
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.left:Lorg/eclipse/jdt/internal/compiler/ast/Expression;
            iconst_4
            aload 1 /* buf */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.Expression.printExpression:(ILjava/lang/StringBuffer;)Ljava/lang/StringBuffer;
            pop
         2: .line 556
            aload 1 /* buf */
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.relation:I
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.relationToString:(I)Ljava/lang/String;
            invokevirtual java.lang.StringBuffer.append:(Ljava/lang/String;)Ljava/lang/StringBuffer;
            pop
         3: .line 557
            aload 0 /* this */
            aload 1 /* buf */
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.right:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ConstraintExpressionFormula.appendTypeName:(Ljava/lang/StringBuffer;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)V
         4: .line 558
            aload 1 /* buf */
            sipush 10217
            invokevirtual java.lang.StringBuffer.append:(C)Ljava/lang/StringBuffer;
            pop
         5: .line 559
            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.ConstraintExpressionFormula this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    6     0  this  Lorg/eclipse/jdt/internal/compiler/lookup/ConstraintExpressionFormula;
            1    6     1   buf  Ljava/lang/StringBuffer;
}
SourceFile: "ConstraintExpressionFormula.java"
InnerClasses:
  SuspendedInferenceRecord = org.eclipse.jdt.internal.compiler.lookup.InferenceContext18$SuspendedInferenceRecord of org.eclipse.jdt.internal.compiler.lookup.InferenceContext18