abstract class com.sun.tools.javac.comp.Resolve$MethodCheckContext implements com.sun.tools.javac.comp.Check$CheckContext
  minor version: 0
  major version: 59
  flags: flags: (0x0420) ACC_SUPER, ACC_ABSTRACT
  this_class: com.sun.tools.javac.comp.Resolve$MethodCheckContext
  super_class: java.lang.Object
{
  boolean strict;
    descriptor: Z
    flags: (0x0000) 

  com.sun.tools.javac.comp.DeferredAttr$DeferredAttrContext deferredAttrContext;
    descriptor: Lcom/sun/tools/javac/comp/DeferredAttr$DeferredAttrContext;
    flags: (0x0000) 

  com.sun.tools.javac.util.Warner rsWarner;
    descriptor: Lcom/sun/tools/javac/util/Warner;
    flags: (0x0000) 

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

  public void <init>(com.sun.tools.javac.comp.Resolve, boolean, com.sun.tools.javac.comp.DeferredAttr$DeferredAttrContext, com.sun.tools.javac.util.Warner);
    descriptor: (Lcom/sun/tools/javac/comp/Resolve;ZLcom/sun/tools/javac/comp/DeferredAttr$DeferredAttrContext;Lcom/sun/tools/javac/util/Warner;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=2, locals=5, args_size=5
        start local 0 // com.sun.tools.javac.comp.Resolve$MethodCheckContext this
        start local 2 // boolean strict
        start local 3 // com.sun.tools.javac.comp.DeferredAttr$DeferredAttrContext deferredAttrContext
        start local 4 // com.sun.tools.javac.util.Warner rsWarner
         0: .line 998
            aload 0 /* this */
            aload 1
            putfield com.sun.tools.javac.comp.Resolve$MethodCheckContext.this$0:Lcom/sun/tools/javac/comp/Resolve;
            aload 0 /* this */
            invokespecial java.lang.Object.<init>:()V
         1: .line 999
            aload 0 /* this */
            iload 2 /* strict */
            putfield com.sun.tools.javac.comp.Resolve$MethodCheckContext.strict:Z
         2: .line 1000
            aload 0 /* this */
            aload 3 /* deferredAttrContext */
            putfield com.sun.tools.javac.comp.Resolve$MethodCheckContext.deferredAttrContext:Lcom/sun/tools/javac/comp/DeferredAttr$DeferredAttrContext;
         3: .line 1001
            aload 0 /* this */
            aload 4 /* rsWarner */
            putfield com.sun.tools.javac.comp.Resolve$MethodCheckContext.rsWarner:Lcom/sun/tools/javac/util/Warner;
         4: .line 1002
            return
        end local 4 // com.sun.tools.javac.util.Warner rsWarner
        end local 3 // com.sun.tools.javac.comp.DeferredAttr$DeferredAttrContext deferredAttrContext
        end local 2 // boolean strict
        end local 0 // com.sun.tools.javac.comp.Resolve$MethodCheckContext this
      LocalVariableTable:
        Start  End  Slot                 Name  Signature
            0    5     0                 this  Lcom/sun/tools/javac/comp/Resolve$MethodCheckContext;
            0    5     2               strict  Z
            0    5     3  deferredAttrContext  Lcom/sun/tools/javac/comp/DeferredAttr$DeferredAttrContext;
            0    5     4             rsWarner  Lcom/sun/tools/javac/util/Warner;
    MethodParameters:
                     Name  Flags
      this$0               final
      strict               
      deferredAttrContext  
      rsWarner             

  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=5, args_size=4
        start local 0 // com.sun.tools.javac.comp.Resolve$MethodCheckContext 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 1005
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Resolve$MethodCheckContext.deferredAttrContext:Lcom/sun/tools/javac/comp/DeferredAttr$DeferredAttrContext;
            getfield com.sun.tools.javac.comp.DeferredAttr$DeferredAttrContext.inferenceContext:Lcom/sun/tools/javac/comp/InferenceContext;
            astore 4 /* inferenceContext */
        start local 4 // com.sun.tools.javac.comp.InferenceContext inferenceContext
         1: .line 1006
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Resolve$MethodCheckContext.strict:Z
            ifeq 3
         2: .line 1007
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Resolve$MethodCheckContext.this$0:Lcom/sun/tools/javac/comp/Resolve;
            getfield com.sun.tools.javac.comp.Resolve.types:Lcom/sun/tools/javac/code/Types;
            aload 4 /* inferenceContext */
            aload 1 /* found */
            invokevirtual com.sun.tools.javac.comp.InferenceContext.asUndetVar:(Lcom/sun/tools/javac/code/Type;)Lcom/sun/tools/javac/code/Type;
            aload 4 /* inferenceContext */
            aload 2 /* req */
            invokevirtual com.sun.tools.javac.comp.InferenceContext.asUndetVar:(Lcom/sun/tools/javac/code/Type;)Lcom/sun/tools/javac/code/Type;
            aload 3 /* warn */
            invokevirtual com.sun.tools.javac.code.Types.isSubtypeUnchecked:(Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/util/Warner;)Z
            goto 4
         3: .line 1008
      StackMap locals: com.sun.tools.javac.comp.InferenceContext
      StackMap stack:
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Resolve$MethodCheckContext.this$0:Lcom/sun/tools/javac/comp/Resolve;
            getfield com.sun.tools.javac.comp.Resolve.types:Lcom/sun/tools/javac/code/Types;
            aload 4 /* inferenceContext */
            aload 1 /* found */
            invokevirtual com.sun.tools.javac.comp.InferenceContext.asUndetVar:(Lcom/sun/tools/javac/code/Type;)Lcom/sun/tools/javac/code/Type;
            aload 4 /* inferenceContext */
            aload 2 /* req */
            invokevirtual com.sun.tools.javac.comp.InferenceContext.asUndetVar:(Lcom/sun/tools/javac/code/Type;)Lcom/sun/tools/javac/code/Type;
            aload 3 /* warn */
            invokevirtual com.sun.tools.javac.code.Types.isConvertible:(Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/code/Type;Lcom/sun/tools/javac/util/Warner;)Z
         4: .line 1006
      StackMap locals:
      StackMap stack: int
            ireturn
        end local 4 // com.sun.tools.javac.comp.InferenceContext inferenceContext
        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.Resolve$MethodCheckContext this
      LocalVariableTable:
        Start  End  Slot              Name  Signature
            0    5     0              this  Lcom/sun/tools/javac/comp/Resolve$MethodCheckContext;
            0    5     1             found  Lcom/sun/tools/javac/code/Type;
            0    5     2               req  Lcom/sun/tools/javac/code/Type;
            0    5     3              warn  Lcom/sun/tools/javac/util/Warner;
            1    5     4  inferenceContext  Lcom/sun/tools/javac/comp/InferenceContext;
    MethodParameters:
       Name  Flags
      found  
      req    
      warn   

  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=2, locals=3, args_size=3
        start local 0 // com.sun.tools.javac.comp.Resolve$MethodCheckContext this
        start local 1 // com.sun.tools.javac.util.JCDiagnostic$DiagnosticPosition pos
        start local 2 // com.sun.tools.javac.util.JCDiagnostic details
         0: .line 1012
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Resolve$MethodCheckContext.this$0:Lcom/sun/tools/javac/comp/Resolve;
            getfield com.sun.tools.javac.comp.Resolve.inapplicableMethodException:Lcom/sun/tools/javac/comp/Resolve$InapplicableMethodException;
            aload 2 /* details */
            invokevirtual com.sun.tools.javac.comp.Resolve$InapplicableMethodException.setMessage:(Lcom/sun/tools/javac/util/JCDiagnostic;)Lcom/sun/tools/javac/comp/Resolve$InapplicableMethodException;
            athrow
        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.Resolve$MethodCheckContext this
      LocalVariableTable:
        Start  End  Slot     Name  Signature
            0    1     0     this  Lcom/sun/tools/javac/comp/Resolve$MethodCheckContext;
            0    1     1      pos  Lcom/sun/tools/javac/util/JCDiagnostic$DiagnosticPosition;
            0    1     2  details  Lcom/sun/tools/javac/util/JCDiagnostic;
    MethodParameters:
         Name  Flags
      pos      
      details  

  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=1, locals=4, args_size=4
        start local 0 // com.sun.tools.javac.comp.Resolve$MethodCheckContext 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 1016
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Resolve$MethodCheckContext.rsWarner: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.Resolve$MethodCheckContext this
      LocalVariableTable:
        Start  End  Slot   Name  Signature
            0    1     0   this  Lcom/sun/tools/javac/comp/Resolve$MethodCheckContext;
            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.Resolve$MethodCheckContext this
         0: .line 1020
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Resolve$MethodCheckContext.deferredAttrContext:Lcom/sun/tools/javac/comp/DeferredAttr$DeferredAttrContext;
            getfield com.sun.tools.javac.comp.DeferredAttr$DeferredAttrContext.inferenceContext:Lcom/sun/tools/javac/comp/InferenceContext;
            areturn
        end local 0 // com.sun.tools.javac.comp.Resolve$MethodCheckContext this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/sun/tools/javac/comp/Resolve$MethodCheckContext;

  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.Resolve$MethodCheckContext this
         0: .line 1024
            aload 0 /* this */
            getfield com.sun.tools.javac.comp.Resolve$MethodCheckContext.deferredAttrContext:Lcom/sun/tools/javac/comp/DeferredAttr$DeferredAttrContext;
            areturn
        end local 0 // com.sun.tools.javac.comp.Resolve$MethodCheckContext this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/sun/tools/javac/comp/Resolve$MethodCheckContext;

  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.Resolve$MethodCheckContext this
         0: .line 1029
            ldc "MethodCheckContext"
            areturn
        end local 0 // com.sun.tools.javac.comp.Resolve$MethodCheckContext this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/sun/tools/javac/comp/Resolve$MethodCheckContext;
}
SourceFile: "Resolve.java"
NestHost: com.sun.tools.javac.comp.Resolve
InnerClasses:
  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 InapplicableMethodException = com.sun.tools.javac.comp.Resolve$InapplicableMethodException of com.sun.tools.javac.comp.Resolve
  abstract MethodCheckContext = com.sun.tools.javac.comp.Resolve$MethodCheckContext of com.sun.tools.javac.comp.Resolve
  public abstract DiagnosticPosition = com.sun.tools.javac.util.JCDiagnostic$DiagnosticPosition of com.sun.tools.javac.util.JCDiagnostic