class com.sun.tools.javac.comp.Check$1 implements com.sun.tools.javac.comp.Check$CheckContext
  minor version: 0
  major version: 59
  flags: flags: (0x0020) ACC_SUPER
  this_class: com.sun.tools.javac.comp.Check$1
  super_class: java.lang.Object
{
  final com.sun.tools.javac.comp.Check this$0;
    descriptor: Lcom/sun/tools/javac/comp/Check;
    flags: (0x1010) ACC_FINAL, ACC_SYNTHETIC

  void <init>(com.sun.tools.javac.comp.Check);
    descriptor: (Lcom/sun/tools/javac/comp/Check;)V
    flags: (0x0000) 
    Code:
      stack=2, locals=2, args_size=2
        start local 0 // com.sun.tools.javac.comp.Check$1 this
         0: .line 531
            aload 0 /* this */
            aload 1
            putfield com.sun.tools.javac.comp.Check$1.this$0:Lcom/sun/tools/javac/comp/Check;
            aload 0 /* this */
            invokespecial java.lang.Object.<init>:()V
            return
        end local 0 // com.sun.tools.javac.comp.Check$1 this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/sun/tools/javac/comp/Check$1;
    MethodParameters:
        Name  Flags
      this$0  final

  public void report(com.sun.tools.javac.util.JCDiagnostic$DiagnosticPosition, com.sun.tools.javac.util.JCDiagnostic);
    descriptor: (Lcom/sun/tools/javac/util/JCDiagnostic$DiagnosticPosition;Lcom/sun/tools/javac/util/JCDiagnostic;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=7, locals=3, args_size=3
        start local 0 // com.sun.tools.javac.comp.Check$1 this
        start local 1 // com.sun.tools.javac.util.JCDiagnostic$DiagnosticPosition pos
        start local 2 // com.sun.tools.javac.util.JCDiagnostic details
         0: .line 533
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Check$1.this$0:Lcom/sun/tools/javac/comp/Check;
            getfield com.sun.tools.javac.comp.Check.log:Lcom/sun/tools/javac/util/Log;
            aload 1 /* pos */
            ldc "prob.found.req"
            iconst_1
            anewarray java.lang.Object
            dup
            iconst_0
            aload 2 /* details */
            aastore
            invokevirtual com.sun.tools.javac.util.Log.error:(Lcom/sun/tools/javac/util/JCDiagnostic$DiagnosticPosition;Ljava/lang/String;[Ljava/lang/Object;)V
         1: .line 534
            return
        end local 2 // com.sun.tools.javac.util.JCDiagnostic details
        end local 1 // com.sun.tools.javac.util.JCDiagnostic$DiagnosticPosition pos
        end local 0 // com.sun.tools.javac.comp.Check$1 this
      LocalVariableTable:
        Start  End  Slot     Name  Signature
            0    2     0     this  Lcom/sun/tools/javac/comp/Check$1;
            0    2     1      pos  Lcom/sun/tools/javac/util/JCDiagnostic$DiagnosticPosition;
            0    2     2  details  Lcom/sun/tools/javac/util/JCDiagnostic;
    MethodParameters:
         Name  Flags
      pos      
      details  

  public boolean compatible(com.sun.tools.javac.code.Type, com.sun.tools.javac.code.Type, com.sun.tools.javac.util.Warner);
    descriptor: (Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/util/Warner;)Z
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=4, locals=4, args_size=4
        start local 0 // com.sun.tools.javac.comp.Check$1 this
        start local 1 // com.sun.tools.javac.code.Type found
        start local 2 // com.sun.tools.javac.code.Type req
        start local 3 // com.sun.tools.javac.util.Warner warn
         0: .line 536
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Check$1.this$0:Lcom/sun/tools/javac/comp/Check;
            getfield com.sun.tools.javac.comp.Check.types:Lcom/sun/tools/javac/code/Types;
            aload 1 /* found */
            aload 2 /* req */
            aload 3 /* warn */
            invokevirtual com.sun.tools.javac.code.Types.isAssignable:(Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/util/Warner;)Z
            ireturn
        end local 3 // com.sun.tools.javac.util.Warner warn
        end local 2 // com.sun.tools.javac.code.Type req
        end local 1 // com.sun.tools.javac.code.Type found
        end local 0 // com.sun.tools.javac.comp.Check$1 this
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0    1     0   this  Lcom/sun/tools/javac/comp/Check$1;
            0    1     1  found  Lcom/sun/tools/javac/code/Type;
            0    1     2    req  Lcom/sun/tools/javac/code/Type;
            0    1     3   warn  Lcom/sun/tools/javac/util/Warner;
    MethodParameters:
       Name  Flags
      found  
      req    
      warn   

  public com.sun.tools.javac.util.Warner checkWarner(com.sun.tools.javac.util.JCDiagnostic$DiagnosticPosition, com.sun.tools.javac.code.Type, com.sun.tools.javac.code.Type);
    descriptor: (Lcom/sun/tools/javac/util/JCDiagnostic$DiagnosticPosition;Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/code/Type;)Lcom/sun/tools/javac/util/Warner;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=4, locals=4, args_size=4
        start local 0 // com.sun.tools.javac.comp.Check$1 this
        start local 1 // com.sun.tools.javac.util.JCDiagnostic$DiagnosticPosition pos
        start local 2 // com.sun.tools.javac.code.Type found
        start local 3 // com.sun.tools.javac.code.Type req
         0: .line 540
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Check$1.this$0:Lcom/sun/tools/javac/comp/Check;
            aload 1 /* pos */
            aload 2 /* found */
            aload 3 /* req */
            invokevirtual com.sun.tools.javac.comp.Check.convertWarner:(Lcom/sun/tools/javac/util/JCDiagnostic$DiagnosticPosition;Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/code/Type;)Lcom/sun/tools/javac/util/Warner;
            areturn
        end local 3 // com.sun.tools.javac.code.Type req
        end local 2 // com.sun.tools.javac.code.Type found
        end local 1 // com.sun.tools.javac.util.JCDiagnostic$DiagnosticPosition pos
        end local 0 // com.sun.tools.javac.comp.Check$1 this
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0    1     0   this  Lcom/sun/tools/javac/comp/Check$1;
            0    1     1    pos  Lcom/sun/tools/javac/util/JCDiagnostic$DiagnosticPosition;
            0    1     2  found  Lcom/sun/tools/javac/code/Type;
            0    1     3    req  Lcom/sun/tools/javac/code/Type;
    MethodParameters:
       Name  Flags
      pos    
      found  
      req    

  public com.sun.tools.javac.comp.InferenceContext inferenceContext();
    descriptor: ()Lcom/sun/tools/javac/comp/InferenceContext;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // com.sun.tools.javac.comp.Check$1 this
         0: .line 544
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Check$1.this$0:Lcom/sun/tools/javac/comp/Check;
            getfield com.sun.tools.javac.comp.Check.infer:Lcom/sun/tools/javac/comp/Infer;
            getfield com.sun.tools.javac.comp.Infer.emptyContext:Lcom/sun/tools/javac/comp/InferenceContext;
            areturn
        end local 0 // com.sun.tools.javac.comp.Check$1 this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/sun/tools/javac/comp/Check$1;

  public com.sun.tools.javac.comp.DeferredAttr$DeferredAttrContext deferredAttrContext();
    descriptor: ()Lcom/sun/tools/javac/comp/DeferredAttr$DeferredAttrContext;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // com.sun.tools.javac.comp.Check$1 this
         0: .line 548
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Check$1.this$0:Lcom/sun/tools/javac/comp/Check;
            getfield com.sun.tools.javac.comp.Check.deferredAttr:Lcom/sun/tools/javac/comp/DeferredAttr;
            getfield com.sun.tools.javac.comp.DeferredAttr.emptyDeferredAttrContext:Lcom/sun/tools/javac/comp/DeferredAttr$DeferredAttrContext;
            areturn
        end local 0 // com.sun.tools.javac.comp.Check$1 this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/sun/tools/javac/comp/Check$1;

  public java.lang.String toString();
    descriptor: ()Ljava/lang/String;
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // com.sun.tools.javac.comp.Check$1 this
         0: .line 553
            ldc "CheckContext: basicHandler"
            areturn
        end local 0 // com.sun.tools.javac.comp.Check$1 this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/sun/tools/javac/comp/Check$1;
}
SourceFile: "Check.java"
EnclosingMethod: com.sun.tools.javac.comp.Check
NestHost: com.sun.tools.javac.comp.Check
InnerClasses:
  com.sun.tools.javac.comp.Check$1
  public abstract CheckContext = com.sun.tools.javac.comp.Check$CheckContext of com.sun.tools.javac.comp.Check
  DeferredAttrContext = com.sun.tools.javac.comp.DeferredAttr$DeferredAttrContext of com.sun.tools.javac.comp.DeferredAttr
  public abstract DiagnosticPosition = com.sun.tools.javac.util.JCDiagnostic$DiagnosticPosition of com.sun.tools.javac.util.JCDiagnostic