class com.sun.tools.javac.comp.Infer$CheckInst extends com.sun.tools.javac.comp.Infer$CheckBounds
  minor version: 0
  major version: 59
  flags: flags: (0x0020) ACC_SUPER
  this_class: com.sun.tools.javac.comp.Infer$CheckInst
  super_class: com.sun.tools.javac.comp.Infer$CheckBounds
{
  java.util.EnumSet<com.sun.tools.javac.code.Type$UndetVar$InferenceBound> to;
    descriptor: Ljava/util/EnumSet;
    flags: (0x0000) 
    Signature: Ljava/util/EnumSet<Lcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;>;

  final com.sun.tools.javac.comp.Infer this$0;
    descriptor: Lcom/sun/tools/javac/comp/Infer;
    flags: (0x1010) ACC_FINAL, ACC_SYNTHETIC

  void <init>(com.sun.tools.javac.comp.Infer, com.sun.tools.javac.code.Type$UndetVar, com.sun.tools.javac.code.Type$UndetVar$InferenceBound, com.sun.tools.javac.code.Type$UndetVar$InferenceBound[]);
    descriptor: (Lcom/sun/tools/javac/comp/Infer;Lcom/sun/tools/javac/code/Type$UndetVar;Lcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;[Lcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;)V
    flags: (0x0080) ACC_VARARGS
    Code:
      stack=5, locals=5, args_size=5
        start local 0 // com.sun.tools.javac.comp.Infer$CheckInst this
        start local 2 // com.sun.tools.javac.code.Type$UndetVar uv
        start local 3 // com.sun.tools.javac.code.Type$UndetVar$InferenceBound ib
        start local 4 // com.sun.tools.javac.code.Type$UndetVar$InferenceBound[] rest
         0: .line 852
            aload 0 /* this */
            aload 1
            aload 2 /* uv */
            aload 3 /* ib */
            aload 4 /* rest */
            invokestatic java.util.EnumSet.of:(Ljava/lang/Enum;[Ljava/lang/Enum;)Ljava/util/EnumSet;
            invokespecial com.sun.tools.javac.comp.Infer$CheckInst.<init>:(Lcom/sun/tools/javac/comp/Infer;Lcom/sun/tools/javac/code/Type$UndetVar;Ljava/util/EnumSet;)V
         1: .line 853
            return
        end local 4 // com.sun.tools.javac.code.Type$UndetVar$InferenceBound[] rest
        end local 3 // com.sun.tools.javac.code.Type$UndetVar$InferenceBound ib
        end local 2 // com.sun.tools.javac.code.Type$UndetVar uv
        end local 0 // com.sun.tools.javac.comp.Infer$CheckInst this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    2     0  this  Lcom/sun/tools/javac/comp/Infer$CheckInst;
            0    2     2    uv  Lcom/sun/tools/javac/code/Type$UndetVar;
            0    2     3    ib  Lcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;
            0    2     4  rest  [Lcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;
    MethodParameters:
        Name  Flags
      this$0  final
      uv      
      ib      
      rest    

  void <init>(com.sun.tools.javac.code.Type$UndetVar, java.util.EnumSet<com.sun.tools.javac.code.Type$UndetVar$InferenceBound>);
    descriptor: (Lcom/sun/tools/javac/comp/Infer;Lcom/sun/tools/javac/code/Type$UndetVar;Ljava/util/EnumSet;)V
    flags: (0x0000) 
    Code:
      stack=5, locals=4, args_size=4
        start local 0 // com.sun.tools.javac.comp.Infer$CheckInst this
        start local 2 // com.sun.tools.javac.code.Type$UndetVar uv
        start local 3 // java.util.EnumSet to
         0: .line 855
            aload 0 /* this */
            aload 1
            putfield com.sun.tools.javac.comp.Infer$CheckInst.this$0:Lcom/sun/tools/javac/comp/Infer;
         1: .line 856
            aload 0 /* this */
            aload 1
            aload 2 /* uv */
            aload 2 /* uv */
            invokevirtual com.sun.tools.javac.code.Type$UndetVar.getInst:()Lcom/sun/tools/javac/code/Type;
            getstatic com.sun.tools.javac.code.Type$UndetVar$InferenceBound.EQ:Lcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;
            invokespecial com.sun.tools.javac.comp.Infer$CheckBounds.<init>:(Lcom/sun/tools/javac/comp/Infer;Lcom/sun/tools/javac/code/Type$UndetVar;Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;)V
         2: .line 857
            aload 0 /* this */
            aload 3 /* to */
            putfield com.sun.tools.javac.comp.Infer$CheckInst.to:Ljava/util/EnumSet;
         3: .line 858
            return
        end local 3 // java.util.EnumSet to
        end local 2 // com.sun.tools.javac.code.Type$UndetVar uv
        end local 0 // com.sun.tools.javac.comp.Infer$CheckInst this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    4     0  this  Lcom/sun/tools/javac/comp/Infer$CheckInst;
            0    4     2    uv  Lcom/sun/tools/javac/code/Type$UndetVar;
            0    4     3    to  Ljava/util/EnumSet<Lcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;>;
    Signature: (Lcom/sun/tools/javac/code/Type$UndetVar;Ljava/util/EnumSet<Lcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;>;)V
    MethodParameters:
        Name  Flags
      this$0  final
      uv      
      to      

  public com.sun.tools.javac.comp.Infer$IncorporationAction dup(com.sun.tools.javac.code.Type$UndetVar);
    descriptor: (Lcom/sun/tools/javac/code/Type$UndetVar;)Lcom/sun/tools/javac/comp/Infer$IncorporationAction;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=5, locals=2, args_size=2
        start local 0 // com.sun.tools.javac.comp.Infer$CheckInst this
        start local 1 // com.sun.tools.javac.code.Type$UndetVar that
         0: .line 862
            new com.sun.tools.javac.comp.Infer$CheckInst
            dup
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Infer$CheckInst.this$0:Lcom/sun/tools/javac/comp/Infer;
            aload 1 /* that */
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Infer$CheckInst.to:Ljava/util/EnumSet;
            invokespecial com.sun.tools.javac.comp.Infer$CheckInst.<init>:(Lcom/sun/tools/javac/comp/Infer;Lcom/sun/tools/javac/code/Type$UndetVar;Ljava/util/EnumSet;)V
            areturn
        end local 1 // com.sun.tools.javac.code.Type$UndetVar that
        end local 0 // com.sun.tools.javac.comp.Infer$CheckInst this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/sun/tools/javac/comp/Infer$CheckInst;
            0    1     1  that  Lcom/sun/tools/javac/code/Type$UndetVar;
    MethodParameters:
      Name  Flags
      that  

  java.util.EnumSet<com.sun.tools.javac.code.Type$UndetVar$InferenceBound> boundsToCheck();
    descriptor: ()Ljava/util/EnumSet;
    flags: (0x0000) 
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // com.sun.tools.javac.comp.Infer$CheckInst this
         0: .line 867
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Infer$CheckInst.to:Ljava/util/EnumSet;
            areturn
        end local 0 // com.sun.tools.javac.comp.Infer$CheckInst this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/sun/tools/javac/comp/Infer$CheckInst;
    Signature: ()Ljava/util/EnumSet<Lcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;>;

  void report(com.sun.tools.javac.code.Type$UndetVar$InferenceBound, com.sun.tools.javac.code.Type$UndetVar$InferenceBound);
    descriptor: (Lcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;Lcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;)V
    flags: (0x0000) 
    Code:
      stack=3, locals=3, args_size=3
        start local 0 // com.sun.tools.javac.comp.Infer$CheckInst this
        start local 1 // com.sun.tools.javac.code.Type$UndetVar$InferenceBound from
        start local 2 // com.sun.tools.javac.code.Type$UndetVar$InferenceBound to
         0: .line 872
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Infer$CheckInst.this$0:Lcom/sun/tools/javac/comp/Infer;
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Infer$CheckInst.uv:Lcom/sun/tools/javac/code/Type$UndetVar;
            aload 2 /* to */
            invokevirtual com.sun.tools.javac.comp.Infer.reportInstError:(Lcom/sun/tools/javac/code/Type$UndetVar;Lcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;)V
         1: .line 873
            return
        end local 2 // com.sun.tools.javac.code.Type$UndetVar$InferenceBound to
        end local 1 // com.sun.tools.javac.code.Type$UndetVar$InferenceBound from
        end local 0 // com.sun.tools.javac.comp.Infer$CheckInst this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    2     0  this  Lcom/sun/tools/javac/comp/Infer$CheckInst;
            0    2     1  from  Lcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;
            0    2     2    to  Lcom/sun/tools/javac/code/Type$UndetVar$InferenceBound;
    MethodParameters:
      Name  Flags
      from  
      to    
}
SourceFile: "Infer.java"
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
  CheckBounds = com.sun.tools.javac.comp.Infer$CheckBounds of com.sun.tools.javac.comp.Infer
  CheckInst = com.sun.tools.javac.comp.Infer$CheckInst of com.sun.tools.javac.comp.Infer
  public abstract IncorporationAction = com.sun.tools.javac.comp.Infer$IncorporationAction of com.sun.tools.javac.comp.Infer