class com.sun.tools.javac.comp.Infer$InferenceStep$4 extends com.sun.tools.javac.comp.Infer$InferenceStep
  minor version: 0
  major version: 59
  flags: flags: (0x4020) ACC_SUPER, ACC_ANNOTATION
  this_class: com.sun.tools.javac.comp.Infer$InferenceStep$4
  super_class: com.sun.tools.javac.comp.Infer$InferenceStep
{
  void <init>(java.lang.String, int, com.sun.tools.javac.code.Type$UndetVar$InferenceBound);
    descriptor: (Ljava/lang/String;ILcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;)V
    flags: (0x0000) 
    Code:
      stack=4, locals=4, args_size=4
        start local 0 // com.sun.tools.javac.comp.Infer$InferenceStep$4 this
        start local 3 // com.sun.tools.javac.code.Type$UndetVar$InferenceBound $anonymous0
         0: .line 1493
            aload 0 /* this */
            aload 1
            iload 2
            aload 3 /* $anonymous0 */
            invokespecial com.sun.tools.javac.comp.Infer$InferenceStep.<init>:(Ljava/lang/String;ILcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;)V
            return
        end local 3 // com.sun.tools.javac.code.Type$UndetVar$InferenceBound $anonymous0
        end local 0 // com.sun.tools.javac.comp.Infer$InferenceStep$4 this
      LocalVariableTable:
        Start  End  Slot         Name  Signature
            0    1     0         this  Lcom/sun/tools/javac/comp/Infer$InferenceStep$4;
            0    1     3  $anonymous0  Lcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;
    MethodParameters:
               Name  Flags
      $enum$name     
      $enum$ordinal  
      $anonymous0    

  com.sun.tools.javac.code.Type solve(com.sun.tools.javac.code.Type$UndetVar, com.sun.tools.javac.comp.InferenceContext);
    descriptor: (Lcom/sun/tools/javac/code/Type$UndetVar;Lcom/sun/tools/javac/comp/InferenceContext;)Lcom/sun/tools/javac/code/Type;
    flags: (0x0000) 
    Code:
      stack=6, locals=6, args_size=3
        start local 0 // com.sun.tools.javac.comp.Infer$InferenceStep$4 this
        start local 1 // com.sun.tools.javac.code.Type$UndetVar uv
        start local 2 // com.sun.tools.javac.comp.InferenceContext inferenceContext
         0: .line 1496
            aload 2 /* inferenceContext */
            getfield com.sun.tools.javac.comp.InferenceContext.infer:Lcom/sun/tools/javac/comp/Infer;
            astore 3 /* infer */
        start local 3 // com.sun.tools.javac.comp.Infer infer
         1: .line 1497
            aload 0 /* this */
            aload 1 /* uv */
            aload 2 /* inferenceContext */
            invokevirtual com.sun.tools.javac.comp.Infer$InferenceStep$4.filterBounds:(Lcom/sun/tools/javac/code/Type$UndetVar;Lcom/sun/tools/javac/comp/InferenceContext;)Lcom/sun/tools/javac/util/List;
            astore 4 /* hibounds */
        start local 4 // com.sun.tools.javac.util.List hibounds
         2: .line 1499
            aload 4 /* hibounds */
            getfield com.sun.tools.javac.util.List.tail:Lcom/sun/tools/javac/util/List;
            getfield com.sun.tools.javac.util.List.tail:Lcom/sun/tools/javac/util/List;
            ifnonnull 3
            aload 4 /* hibounds */
            getfield com.sun.tools.javac.util.List.head:Ljava/lang/Object;
            checkcast com.sun.tools.javac.code.Type
            goto 4
      StackMap locals: com.sun.tools.javac.comp.Infer com.sun.tools.javac.util.List
      StackMap stack:
         3: aload 3 /* infer */
            getfield com.sun.tools.javac.comp.Infer.types:Lcom/sun/tools/javac/code/Types;
            aload 4 /* hibounds */
            invokevirtual com.sun.tools.javac.code.Types.glb:(Lcom/sun/tools/javac/util/List;)Lcom/sun/tools/javac/code/Type;
      StackMap locals:
      StackMap stack: com.sun.tools.javac.code.Type
         4: astore 5 /* owntype */
        start local 5 // com.sun.tools.javac.code.Type owntype
         5: .line 1500
            aload 5 /* owntype */
            invokevirtual com.sun.tools.javac.code.Type.isPrimitive:()Z
            ifne 6
            aload 5 /* owntype */
            getstatic com.sun.tools.javac.code.TypeTag.ERROR:Lcom/sun/tools/javac/code/TypeTag;
            invokevirtual com.sun.tools.javac.code.Type.hasTag:(Lcom/sun/tools/javac/code/TypeTag;)Z
            ifeq 11
         6: .line 1501
      StackMap locals: com.sun.tools.javac.code.Type
      StackMap stack:
            aload 3 /* infer */
            getfield com.sun.tools.javac.comp.Infer.inferenceException:Lcom/sun/tools/javac/comp/Infer$InferenceException;
         7: .line 1502
            ldc "no.unique.maximal.instance.exists"
            iconst_2
            anewarray java.lang.Object
            dup
            iconst_0
         8: .line 1503
            aload 1 /* uv */
            getfield com.sun.tools.javac.code.Type$UndetVar.qtype:Lcom/sun/tools/javac/code/Type;
            aastore
            dup
            iconst_1
            aload 4 /* hibounds */
            aastore
         9: .line 1502
            invokevirtual com.sun.tools.javac.comp.Infer$InferenceException.setMessage:(Ljava/lang/String;[Ljava/lang/Object;)Lcom/sun/tools/javac/comp/Resolve$InapplicableMethodException;
        10: .line 1501
            athrow
        11: .line 1505
      StackMap locals:
      StackMap stack:
            aload 5 /* owntype */
            areturn
        end local 5 // com.sun.tools.javac.code.Type owntype
        end local 4 // com.sun.tools.javac.util.List hibounds
        end local 3 // com.sun.tools.javac.comp.Infer infer
        end local 2 // com.sun.tools.javac.comp.InferenceContext inferenceContext
        end local 1 // com.sun.tools.javac.code.Type$UndetVar uv
        end local 0 // com.sun.tools.javac.comp.Infer$InferenceStep$4 this
      LocalVariableTable:
        Start  End  Slot              Name  Signature
            0   12     0              this  Lcom/sun/tools/javac/comp/Infer$InferenceStep$4;
            0   12     1                uv  Lcom/sun/tools/javac/code/Type$UndetVar;
            0   12     2  inferenceContext  Lcom/sun/tools/javac/comp/InferenceContext;
            1   12     3             infer  Lcom/sun/tools/javac/comp/Infer;
            2   12     4          hibounds  Lcom/sun/tools/javac/util/List<Lcom/sun/tools/javac/code/Type;>;
            5   12     5           owntype  Lcom/sun/tools/javac/code/Type;
    MethodParameters:
                  Name  Flags
      uv                
      inferenceContext  
}
SourceFile: "Infer.java"
EnclosingMethod: com.sun.tools.javac.comp.Infer$InferenceStep
NestHost: com.sun.tools.javac.comp.Infer
InnerClasses:
  public UndetVar = com.sun.tools.javac.code.Type$UndetVar of com.sun.tools.javac.code.Type
  public abstract InferenceBound = com.sun.tools.javac.code.Type$UndetVar$InferenceBound of com.sun.tools.javac.code.Type$UndetVar
  public InferenceException = com.sun.tools.javac.comp.Infer$InferenceException of com.sun.tools.javac.comp.Infer
  abstract InferenceStep = com.sun.tools.javac.comp.Infer$InferenceStep of com.sun.tools.javac.comp.Infer
  com.sun.tools.javac.comp.Infer$InferenceStep$4
  public InapplicableMethodException = com.sun.tools.javac.comp.Resolve$InapplicableMethodException of com.sun.tools.javac.comp.Resolve