public class org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier
  minor version: 0
  major version: 59
  flags: flags: (0x0021) ACC_PUBLIC, ACC_SUPER
  this_class: org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier
  super_class: java.lang.Object
{
  org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier buddyImplicitNullAnnotationsVerifier;
    descriptor: Lorg/eclipse/jdt/internal/compiler/lookup/ImplicitNullAnnotationVerifier;
    flags: (0x0000) 

  private boolean inheritNullAnnotations;
    descriptor: Z
    flags: (0x0002) ACC_PRIVATE

  protected org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment environment;
    descriptor: Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
    flags: (0x0004) ACC_PROTECTED

  public static void ensureNullnessIsKnown(org.eclipse.jdt.internal.compiler.lookup.MethodBinding, org.eclipse.jdt.internal.compiler.lookup.Scope);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Lorg/eclipse/jdt/internal/compiler/lookup/Scope;)V
    flags: (0x0009) ACC_PUBLIC, ACC_STATIC
    Code:
      stack=5, locals=3, args_size=2
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding methodBinding
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.Scope scope
         0: .line 39
            aload 0 /* methodBinding */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.tagBits:J
            ldc 4096
            land
            lconst_0
            lcmp
            ifne 4
         1: .line 40
            aload 1 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.Scope.environment:()Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            astore 2 /* environment2 */
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment environment2
         2: .line 42
            new org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier
            dup
            aload 2 /* environment2 */
            aload 2 /* environment2 */
            getfield org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.globalOptions:Lorg/eclipse/jdt/internal/compiler/impl/CompilerOptions;
            getfield org.eclipse.jdt.internal.compiler.impl.CompilerOptions.inheritNullAnnotations:Z
            invokespecial org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;Z)V
         3: .line 43
            aload 0 /* methodBinding */
            aconst_null
            iconst_0
            aload 1 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.checkImplicitNullAnnotations:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Lorg/eclipse/jdt/internal/compiler/ast/AbstractMethodDeclaration;ZLorg/eclipse/jdt/internal/compiler/lookup/Scope;)V
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment environment2
         4: .line 45
      StackMap locals:
      StackMap stack:
            return
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.Scope scope
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding methodBinding
      LocalVariableTable:
        Start  End  Slot           Name  Signature
            0    5     0  methodBinding  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            0    5     1          scope  Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            2    4     2   environment2  Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
    MethodParameters:
               Name  Flags
      methodBinding  
      scope          

  public void <init>(org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment, boolean);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;Z)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=2, locals=3, args_size=3
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment environment
        start local 2 // boolean inheritNullAnnotations
         0: .line 65
            aload 0 /* this */
            invokespecial java.lang.Object.<init>:()V
         1: .line 66
            aload 0 /* this */
            aload 0 /* this */
            putfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.buddyImplicitNullAnnotationsVerifier:Lorg/eclipse/jdt/internal/compiler/lookup/ImplicitNullAnnotationVerifier;
         2: .line 67
            aload 0 /* this */
            iload 2 /* inheritNullAnnotations */
            putfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.inheritNullAnnotations:Z
         3: .line 68
            aload 0 /* this */
            aload 1 /* environment */
            putfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
         4: .line 69
            return
        end local 2 // boolean inheritNullAnnotations
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment environment
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier this
      LocalVariableTable:
        Start  End  Slot                    Name  Signature
            0    5     0                    this  Lorg/eclipse/jdt/internal/compiler/lookup/ImplicitNullAnnotationVerifier;
            0    5     1             environment  Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            0    5     2  inheritNullAnnotations  Z
    MethodParameters:
                        Name  Flags
      environment             
      inheritNullAnnotations  

  void <init>(org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)V
    flags: (0x0000) 
    Code:
      stack=5, locals=3, args_size=2
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment environment
         0: .line 72
            aload 0 /* this */
            invokespecial java.lang.Object.<init>:()V
         1: .line 73
            aload 1 /* environment */
            getfield org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.globalOptions:Lorg/eclipse/jdt/internal/compiler/impl/CompilerOptions;
            astore 2 /* options */
        start local 2 // org.eclipse.jdt.internal.compiler.impl.CompilerOptions options
         2: .line 74
            aload 0 /* this */
            new org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier
            dup
            aload 1 /* environment */
            aload 2 /* options */
            getfield org.eclipse.jdt.internal.compiler.impl.CompilerOptions.inheritNullAnnotations:Z
            invokespecial org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.<init>:(Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;Z)V
            putfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.buddyImplicitNullAnnotationsVerifier:Lorg/eclipse/jdt/internal/compiler/lookup/ImplicitNullAnnotationVerifier;
         3: .line 75
            aload 0 /* this */
            aload 2 /* options */
            getfield org.eclipse.jdt.internal.compiler.impl.CompilerOptions.inheritNullAnnotations:Z
            putfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.inheritNullAnnotations:Z
         4: .line 76
            aload 0 /* this */
            aload 1 /* environment */
            putfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
         5: .line 77
            return
        end local 2 // org.eclipse.jdt.internal.compiler.impl.CompilerOptions options
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment environment
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier this
      LocalVariableTable:
        Start  End  Slot         Name  Signature
            0    6     0         this  Lorg/eclipse/jdt/internal/compiler/lookup/ImplicitNullAnnotationVerifier;
            0    6     1  environment  Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            2    6     2      options  Lorg/eclipse/jdt/internal/compiler/impl/CompilerOptions;
    MethodParameters:
             Name  Flags
      environment  

  public void checkImplicitNullAnnotations(org.eclipse.jdt.internal.compiler.lookup.MethodBinding, org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration, boolean, org.eclipse.jdt.internal.compiler.lookup.Scope);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Lorg/eclipse/jdt/internal/compiler/ast/AbstractMethodDeclaration;ZLorg/eclipse/jdt/internal/compiler/lookup/Scope;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=10, locals=20, args_size=5
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding currentMethod
        start local 2 // org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration srcMethod
        start local 3 // boolean complain
        start local 4 // org.eclipse.jdt.internal.compiler.lookup.Scope scope
         0: .line 86
            aload 1 /* currentMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.declaringClass:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            astore 5 /* currentType */
        start local 5 // org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding currentType
         1: .line 87
            aload 5 /* currentType */
            getfield org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding.id:I
            iconst_1
            if_icmpne 4
         2: .line 171
            aload 1 /* currentMethod */
            dup
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.tagBits:J
            ldc 4096
            lor
            putfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.tagBits:J
         3: .line 88
            return
         4: .line 90
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding
      StackMap stack:
            aload 4 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.Scope.environment:()Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.usesNullTypeAnnotations:()Z
            istore 6 /* usesTypeAnnotations */
        start local 6 // boolean usesTypeAnnotations
         5: .line 92
            aload 1 /* currentMethod */
            aload 2 /* srcMethod */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.hasNonNullDefaultForReturnType:(Lorg/eclipse/jdt/internal/compiler/ast/AbstractMethodDeclaration;)Z
         6: .line 91
            istore 7 /* needToApplyReturnNonNullDefault */
        start local 7 // boolean needToApplyReturnNonNullDefault
         7: .line 94
            aload 1 /* currentMethod */
            aload 2 /* srcMethod */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.hasNonNullDefaultForParameter:(Lorg/eclipse/jdt/internal/compiler/ast/AbstractMethodDeclaration;)Lorg/eclipse/jdt/internal/compiler/lookup/ParameterNonNullDefaultProvider;
         8: .line 93
            astore 8 /* needToApplyParameterNonNullDefault */
        start local 8 // org.eclipse.jdt.internal.compiler.lookup.ParameterNonNullDefaultProvider needToApplyParameterNonNullDefault
         9: .line 95
            iload 7 /* needToApplyReturnNonNullDefault */
            aload 8 /* needToApplyParameterNonNullDefault */
            invokeinterface org.eclipse.jdt.internal.compiler.lookup.ParameterNonNullDefaultProvider.hasAnyNonNullDefault:()Z
            ior
            istore 9 /* needToApplyNonNullDefault */
        start local 9 // boolean needToApplyNonNullDefault
        10: .line 97
            aload 1 /* currentMethod */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isConstructor:()Z
            ifne 11
            aload 1 /* currentMethod */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isStatic:()Z
            ifne 11
            iconst_1
            goto 12
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration int org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding int int org.eclipse.jdt.internal.compiler.lookup.ParameterNonNullDefaultProvider int
      StackMap stack:
        11: iconst_0
      StackMap locals:
      StackMap stack: int
        12: istore 10 /* isInstanceMethod */
        start local 10 // boolean isInstanceMethod
        13: .line 98
            iload 3 /* complain */
            iload 10 /* isInstanceMethod */
            iand
            istore 3 /* complain */
        14: .line 99
            iload 9 /* needToApplyNonNullDefault */
            ifne 19
        15: .line 100
            iload 3 /* complain */
            ifne 19
        16: .line 101
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.inheritNullAnnotations:Z
            ifeq 17
            iload 10 /* isInstanceMethod */
            ifne 19
        17: .line 171
      StackMap locals: int
      StackMap stack:
            aload 1 /* currentMethod */
            dup
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.tagBits:J
            ldc 4096
            lor
            putfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.tagBits:J
        18: .line 102
            return
        19: .line 105
      StackMap locals:
      StackMap stack:
            iload 10 /* isInstanceMethod */
            ifeq 68
        20: .line 106
            new java.util.ArrayList
            dup
            invokespecial java.util.ArrayList.<init>:()V
            astore 11 /* superMethodList */
        start local 11 // java.util.List superMethodList
        21: .line 109
            aload 5 /* currentType */
            instanceof org.eclipse.jdt.internal.compiler.lookup.SourceTypeBinding
            ifeq 23
            aload 5 /* currentType */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding.isHierarchyConnected:()Z
            ifne 23
            aload 5 /* currentType */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding.isAnonymousType:()Z
            ifne 23
        22: .line 110
            aload 5 /* currentType */
            checkcast org.eclipse.jdt.internal.compiler.lookup.SourceTypeBinding
            getfield org.eclipse.jdt.internal.compiler.lookup.SourceTypeBinding.scope:Lorg/eclipse/jdt/internal/compiler/lookup/ClassScope;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ClassScope.connectTypeHierarchy:()V
        23: .line 113
      StackMap locals: java.util.List
      StackMap stack:
            aload 1 /* currentMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            arraylength
            istore 12 /* paramLen */
        start local 12 // int paramLen
        24: .line 114
            aload 0 /* this */
            aload 1 /* currentMethod */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.original:()Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            aload 1 /* currentMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.selector:[C
            iload 12 /* paramLen */
        25: .line 115
            aload 5 /* currentType */
            new java.util.HashSet
            dup
            invokespecial java.util.HashSet.<init>:()V
            aload 11 /* superMethodList */
        26: .line 114
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.findAllOverriddenMethods:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;[CILorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;Ljava/util/Set;Ljava/util/List;)V
        27: .line 118
            iload 12 /* paramLen */
            iconst_1
            iadd
            anewarray org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo
            astore 13 /* inheritedNonNullnessInfos */
        start local 13 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo[] inheritedNonNullnessInfos
        28: .line 119
            iconst_0
            istore 14 /* i */
        start local 14 // int i
        29: goto 31
      StackMap locals: int org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo[] int
      StackMap stack:
        30: aload 13 /* inheritedNonNullnessInfos */
            iload 14 /* i */
            new org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo
            dup
            invokespecial org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo.<init>:()V
            aastore
            iinc 14 /* i */ 1
      StackMap locals:
      StackMap stack:
        31: iload 14 /* i */
            iload 12 /* paramLen */
            iconst_1
            iadd
            if_icmplt 30
        end local 14 // int i
        32: .line 121
            aload 11 /* superMethodList */
            invokeinterface java.util.List.size:()I
            istore 14 /* length */
        start local 14 // int length
        33: .line 122
            iload 14 /* length */
            istore 15 /* i */
        start local 15 // int i
        34: goto 40
        35: .line 123
      StackMap locals: int
      StackMap stack:
            aload 11 /* superMethodList */
            iload 15 /* i */
            invokeinterface java.util.List.get:(I)Ljava/lang/Object;
            checkcast org.eclipse.jdt.internal.compiler.lookup.MethodBinding
            astore 16 /* currentSuper */
        start local 16 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding currentSuper
        36: .line 124
            aload 16 /* currentSuper */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.tagBits:J
            ldc 4096
            land
            lconst_0
            lcmp
            ifne 38
        37: .line 126
            aload 0 /* this */
            aload 16 /* currentSuper */
            aconst_null
            iconst_0
            aload 4 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.checkImplicitNullAnnotations:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Lorg/eclipse/jdt/internal/compiler/ast/AbstractMethodDeclaration;ZLorg/eclipse/jdt/internal/compiler/lookup/Scope;)V
        38: .line 128
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.MethodBinding
      StackMap stack:
            aload 0 /* this */
            aload 1 /* currentMethod */
            aload 2 /* srcMethod */
            iload 7 /* needToApplyReturnNonNullDefault */
            aload 8 /* needToApplyParameterNonNullDefault */
            iload 3 /* complain */
            aload 16 /* currentSuper */
            aconst_null
            aload 4 /* scope */
            aload 13 /* inheritedNonNullnessInfos */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.checkNullSpecInheritance:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Lorg/eclipse/jdt/internal/compiler/ast/AbstractMethodDeclaration;ZLorg/eclipse/jdt/internal/compiler/lookup/ParameterNonNullDefaultProvider;ZLorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Lorg/eclipse/jdt/internal/compiler/lookup/Scope;[Lorg/eclipse/jdt/internal/compiler/lookup/ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo;)V
        39: .line 129
            iconst_0
            istore 9 /* needToApplyNonNullDefault */
        end local 16 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding currentSuper
        40: .line 122
      StackMap locals:
      StackMap stack:
            iinc 15 /* i */ -1
            iload 15 /* i */
            ifge 35
        end local 15 // int i
        41: .line 133
            aload 13 /* inheritedNonNullnessInfos */
            iconst_0
            aaload
            astore 15 /* info */
        start local 15 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo info
        42: .line 134
            aload 15 /* info */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo.complained:Z
            ifne 56
        43: .line 135
            lconst_0
            lstore 16 /* tagBits */
        start local 16 // long tagBits
        44: .line 136
            aload 15 /* info */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo.inheritedNonNullness:Ljava/lang/Boolean;
            getstatic java.lang.Boolean.TRUE:Ljava/lang/Boolean;
            if_acmpne 47
        45: .line 137
            ldc 72057594037927936
            lstore 16 /* tagBits */
        46: .line 138
            goto 49
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration int org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding int int org.eclipse.jdt.internal.compiler.lookup.ParameterNonNullDefaultProvider int int java.util.List int org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo[] int org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo long
      StackMap stack:
        47: aload 15 /* info */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo.inheritedNonNullness:Ljava/lang/Boolean;
            getstatic java.lang.Boolean.FALSE:Ljava/lang/Boolean;
            if_acmpne 49
        48: .line 139
            ldc 36028797018963968
            lstore 16 /* tagBits */
        49: .line 141
      StackMap locals:
      StackMap stack:
            lload 16 /* tagBits */
            lconst_0
            lcmp
            ifeq 56
        50: .line 142
            iload 6 /* usesTypeAnnotations */
            ifne 53
        51: .line 143
            aload 1 /* currentMethod */
            dup
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.tagBits:J
            lload 16 /* tagBits */
            lor
            putfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.tagBits:J
        52: .line 144
            goto 56
        53: .line 145
      StackMap locals:
      StackMap stack:
            aload 1 /* currentMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isBaseType:()Z
            ifne 56
        54: .line 146
            aload 4 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.Scope.environment:()Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            astore 18 /* env */
        start local 18 // org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment env
        55: .line 147
            aload 1 /* currentMethod */
            aload 18 /* env */
            aload 1 /* currentMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 18 /* env */
            lload 16 /* tagBits */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.nullAnnotationsFromTagBits:(J)[Lorg/eclipse/jdt/internal/compiler/lookup/AnnotationBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.createAnnotatedType:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/AnnotationBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            putfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
        end local 18 // org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment env
        end local 16 // long tagBits
        56: .line 152
      StackMap locals:
      StackMap stack:
            iconst_0
            istore 16 /* i */
        start local 16 // int i
        57: goto 67
        58: .line 153
      StackMap locals: int
      StackMap stack:
            aload 13 /* inheritedNonNullnessInfos */
            iload 16 /* i */
            iconst_1
            iadd
            aaload
            astore 15 /* info */
        59: .line 154
            aload 15 /* info */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo.complained:Z
            ifne 66
            aload 15 /* info */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo.inheritedNonNullness:Ljava/lang/Boolean;
            ifnull 66
        60: .line 155
            aload 2 /* srcMethod */
            ifnonnull 61
            aconst_null
            goto 62
      StackMap locals:
      StackMap stack:
        61: aload 2 /* srcMethod */
            getfield org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration.arguments:[Lorg/eclipse/jdt/internal/compiler/ast/Argument;
            iload 16 /* i */
            aaload
      StackMap locals:
      StackMap stack: org.eclipse.jdt.internal.compiler.ast.Argument
        62: astore 17 /* currentArg */
        start local 17 // org.eclipse.jdt.internal.compiler.ast.Argument currentArg
        63: .line 156
            iload 6 /* usesTypeAnnotations */
            ifne 65
        64: .line 157
            aload 0 /* this */
            aload 1 /* currentMethod */
            iload 12 /* paramLen */
            iload 16 /* i */
            aload 17 /* currentArg */
            aload 15 /* info */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo.inheritedNonNullness:Ljava/lang/Boolean;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.recordArgNonNullness:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;IILorg/eclipse/jdt/internal/compiler/ast/Argument;Ljava/lang/Boolean;)V
            goto 66
        65: .line 159
      StackMap locals: org.eclipse.jdt.internal.compiler.ast.Argument
      StackMap stack:
            aload 0 /* this */
            aload 1 /* currentMethod */
            iload 16 /* i */
            aload 17 /* currentArg */
            aload 15 /* info */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo.inheritedNonNullness:Ljava/lang/Boolean;
            aload 4 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.Scope.environment:()Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.recordArgNonNullness18:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;ILorg/eclipse/jdt/internal/compiler/ast/Argument;Ljava/lang/Boolean;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)V
        end local 17 // org.eclipse.jdt.internal.compiler.ast.Argument currentArg
        66: .line 152
      StackMap locals:
      StackMap stack:
            iinc 16 /* i */ 1
      StackMap locals:
      StackMap stack:
        67: iload 16 /* i */
            iload 12 /* paramLen */
            if_icmplt 58
        end local 16 // int i
        end local 15 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo info
        end local 14 // int length
        end local 13 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo[] inheritedNonNullnessInfos
        end local 12 // int paramLen
        end local 11 // java.util.List superMethodList
        68: .line 164
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration int org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding int int org.eclipse.jdt.internal.compiler.lookup.ParameterNonNullDefaultProvider int int
      StackMap stack:
            iload 9 /* needToApplyNonNullDefault */
            ifeq 76
        69: .line 165
            iload 6 /* usesTypeAnnotations */
            ifne 71
        70: .line 166
            aload 1 /* currentMethod */
            aload 2 /* srcMethod */
            iload 7 /* needToApplyReturnNonNullDefault */
            aload 8 /* needToApplyParameterNonNullDefault */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.fillInDefaultNonNullness:(Lorg/eclipse/jdt/internal/compiler/ast/AbstractMethodDeclaration;ZLorg/eclipse/jdt/internal/compiler/lookup/ParameterNonNullDefaultProvider;)V
            goto 76
        71: .line 168
      StackMap locals:
      StackMap stack:
            aload 1 /* currentMethod */
            aload 2 /* srcMethod */
            aload 4 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.Scope.environment:()Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.fillInDefaultNonNullness18:(Lorg/eclipse/jdt/internal/compiler/ast/AbstractMethodDeclaration;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)V
        end local 10 // boolean isInstanceMethod
        end local 9 // boolean needToApplyNonNullDefault
        end local 8 // org.eclipse.jdt.internal.compiler.lookup.ParameterNonNullDefaultProvider needToApplyParameterNonNullDefault
        end local 7 // boolean needToApplyReturnNonNullDefault
        end local 6 // boolean usesTypeAnnotations
        end local 5 // org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding currentType
        72: .line 170
            goto 76
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration int org.eclipse.jdt.internal.compiler.lookup.Scope
      StackMap stack: java.lang.Throwable
        73: astore 19
        74: .line 171
            aload 1 /* currentMethod */
            dup
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.tagBits:J
            ldc 4096
            lor
            putfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.tagBits:J
        75: .line 172
            aload 19
            athrow
        76: .line 171
      StackMap locals:
      StackMap stack:
            aload 1 /* currentMethod */
            dup
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.tagBits:J
            ldc 4096
            lor
            putfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.tagBits:J
        77: .line 173
            return
        end local 4 // org.eclipse.jdt.internal.compiler.lookup.Scope scope
        end local 3 // boolean complain
        end local 2 // org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration srcMethod
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding currentMethod
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier this
      LocalVariableTable:
        Start  End  Slot                                Name  Signature
            0   78     0                                this  Lorg/eclipse/jdt/internal/compiler/lookup/ImplicitNullAnnotationVerifier;
            0   78     1                       currentMethod  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            0   78     2                           srcMethod  Lorg/eclipse/jdt/internal/compiler/ast/AbstractMethodDeclaration;
            0   78     3                            complain  Z
            0   78     4                               scope  Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            1   72     5                         currentType  Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            5   72     6                 usesTypeAnnotations  Z
            7   72     7     needToApplyReturnNonNullDefault  Z
            9   72     8  needToApplyParameterNonNullDefault  Lorg/eclipse/jdt/internal/compiler/lookup/ParameterNonNullDefaultProvider;
           10   72     9           needToApplyNonNullDefault  Z
           13   72    10                    isInstanceMethod  Z
           21   68    11                     superMethodList  Ljava/util/List;
           24   68    12                            paramLen  I
           28   68    13           inheritedNonNullnessInfos  [Lorg/eclipse/jdt/internal/compiler/lookup/ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo;
           29   32    14                                   i  I
           33   68    14                              length  I
           34   41    15                                   i  I
           36   40    16                        currentSuper  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
           42   68    15                                info  Lorg/eclipse/jdt/internal/compiler/lookup/ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo;
           44   56    16                             tagBits  J
           55   56    18                                 env  Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
           57   68    16                                   i  I
           63   66    17                          currentArg  Lorg/eclipse/jdt/internal/compiler/ast/Argument;
      Exception table:
        from    to  target  type
           0     2      73  any
           4    17      73  any
          19    73      73  any
    MethodParameters:
               Name  Flags
      currentMethod  
      srcMethod      
      complain       
      scope          

  private void findAllOverriddenMethods(org.eclipse.jdt.internal.compiler.lookup.MethodBinding, char[], int, org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding, java.util.Set, java.util.List);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;[CILorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;Ljava/util/Set;Ljava/util/List;)V
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=7, locals=12, args_size=7
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding original
        start local 2 // char[] selector
        start local 3 // int suggestedParameterLength
        start local 4 // org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding currentType
        start local 5 // java.util.Set ifcsSeen
        start local 6 // java.util.List result
         0: .line 182
            aload 4 /* currentType */
            getfield org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding.id:I
            iconst_1
            if_icmpne 2
         1: .line 183
            return
         2: .line 186
      StackMap locals:
      StackMap stack:
            aload 4 /* currentType */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding.superclass:()Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            astore 7 /* superclass */
        start local 7 // org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding superclass
         3: .line 187
            aload 7 /* superclass */
            ifnonnull 5
         4: .line 188
            return
         5: .line 189
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding
      StackMap stack:
            aload 0 /* this */
            aload 1 /* original */
            aload 2 /* selector */
            iload 3 /* suggestedParameterLength */
            aload 7 /* superclass */
            aload 5 /* ifcsSeen */
            aload 6 /* result */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.collectOverriddenMethods:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;[CILorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;Ljava/util/Set;Ljava/util/List;)V
         6: .line 192
            aload 4 /* currentType */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding.superInterfaces:()[Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            astore 8 /* superInterfaces */
        start local 8 // org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding[] superInterfaces
         7: .line 193
            aload 8 /* superInterfaces */
            arraylength
            istore 9 /* ifcLen */
        start local 9 // int ifcLen
         8: .line 194
            iconst_0
            istore 10 /* i */
        start local 10 // int i
         9: goto 14
        10: .line 195
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding[] int int
      StackMap stack:
            aload 8 /* superInterfaces */
            iload 10 /* i */
            aaload
            astore 11 /* currentIfc */
        start local 11 // org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding currentIfc
        11: .line 196
            aload 5 /* ifcsSeen */
            aload 11 /* currentIfc */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding.original:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokeinterface java.util.Set.add:(Ljava/lang/Object;)Z
            ifeq 13
        12: .line 197
            aload 0 /* this */
            aload 1 /* original */
            aload 2 /* selector */
            iload 3 /* suggestedParameterLength */
            aload 11 /* currentIfc */
            aload 5 /* ifcsSeen */
            aload 6 /* result */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.collectOverriddenMethods:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;[CILorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;Ljava/util/Set;Ljava/util/List;)V
        end local 11 // org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding currentIfc
        13: .line 194
      StackMap locals:
      StackMap stack:
            iinc 10 /* i */ 1
      StackMap locals:
      StackMap stack:
        14: iload 10 /* i */
            iload 9 /* ifcLen */
            if_icmplt 10
        end local 10 // int i
        15: .line 200
            return
        end local 9 // int ifcLen
        end local 8 // org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding[] superInterfaces
        end local 7 // org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding superclass
        end local 6 // java.util.List result
        end local 5 // java.util.Set ifcsSeen
        end local 4 // org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding currentType
        end local 3 // int suggestedParameterLength
        end local 2 // char[] selector
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding original
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier this
      LocalVariableTable:
        Start  End  Slot                      Name  Signature
            0   16     0                      this  Lorg/eclipse/jdt/internal/compiler/lookup/ImplicitNullAnnotationVerifier;
            0   16     1                  original  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            0   16     2                  selector  [C
            0   16     3  suggestedParameterLength  I
            0   16     4               currentType  Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            0   16     5                  ifcsSeen  Ljava/util/Set;
            0   16     6                    result  Ljava/util/List;
            3   16     7                superclass  Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            7   16     8           superInterfaces  [Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            8   16     9                    ifcLen  I
            9   15    10                         i  I
           11   13    11                currentIfc  Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
    MethodParameters:
                          Name  Flags
      original                  
      selector                  
      suggestedParameterLength  
      currentType               
      ifcsSeen                  
      result                    

  private void collectOverriddenMethods(org.eclipse.jdt.internal.compiler.lookup.MethodBinding, char[], int, org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding, java.util.Set, java.util.List);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;[CILorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;Ljava/util/Set;Ljava/util/List;)V
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=7, locals=12, args_size=7
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding original
        start local 2 // char[] selector
        start local 3 // int suggestedParameterLength
        start local 4 // org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding superType
        start local 5 // java.util.Set ifcsSeen
        start local 6 // java.util.List result
         0: .line 206
            aload 4 /* superType */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding.unResolvedMethods:()[Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            astore 7 /* ifcMethods */
        start local 7 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding[] ifcMethods
         1: .line 207
            aload 7 /* ifcMethods */
            arraylength
            istore 8 /* length */
        start local 8 // int length
         2: .line 208
            iconst_0
            istore 9 /* added */
        start local 9 // boolean added
         3: .line 209
            iconst_0
            istore 10 /* i */
        start local 10 // int i
         4: goto 16
         5: .line 210
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier org.eclipse.jdt.internal.compiler.lookup.MethodBinding char[] int org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding java.util.Set java.util.List org.eclipse.jdt.internal.compiler.lookup.MethodBinding[] int int int
      StackMap stack:
            aload 7 /* ifcMethods */
            iload 10 /* i */
            aaload
            astore 11 /* currentMethod */
        start local 11 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding currentMethod
         6: .line 211
            aload 2 /* selector */
            aload 11 /* currentMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.selector:[C
            invokestatic org.eclipse.jdt.core.compiler.CharOperation.equals:([C[C)Z
            ifne 8
         7: .line 212
            goto 15
         8: .line 213
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.MethodBinding
      StackMap stack:
            aload 11 /* currentMethod */
            iload 3 /* suggestedParameterLength */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.doesParameterLengthMatch:(I)Z
            ifne 10
         9: .line 214
            goto 15
        10: .line 215
      StackMap locals:
      StackMap stack:
            aload 11 /* currentMethod */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.isStatic:()Z
            ifeq 12
        11: .line 216
            goto 15
        12: .line 217
      StackMap locals:
      StackMap stack:
            aload 1 /* original */
            aload 11 /* currentMethod */
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            invokestatic org.eclipse.jdt.internal.compiler.lookup.MethodVerifier.doesMethodOverride:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)Z
            ifeq 15
        13: .line 218
            aload 6 /* result */
            aload 11 /* currentMethod */
            invokeinterface java.util.List.add:(Ljava/lang/Object;)Z
            pop
        14: .line 219
            iconst_1
            istore 9 /* added */
        end local 11 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding currentMethod
        15: .line 209
      StackMap locals:
      StackMap stack:
            iinc 10 /* i */ 1
      StackMap locals:
      StackMap stack:
        16: iload 10 /* i */
            iload 8 /* length */
            if_icmplt 5
        end local 10 // int i
        17: .line 222
            iload 9 /* added */
            ifne 19
        18: .line 223
            aload 0 /* this */
            aload 1 /* original */
            aload 2 /* selector */
            iload 3 /* suggestedParameterLength */
            aload 4 /* superType */
            aload 5 /* ifcsSeen */
            aload 6 /* result */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.findAllOverriddenMethods:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;[CILorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;Ljava/util/Set;Ljava/util/List;)V
        19: .line 224
      StackMap locals:
      StackMap stack:
            return
        end local 9 // boolean added
        end local 8 // int length
        end local 7 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding[] ifcMethods
        end local 6 // java.util.List result
        end local 5 // java.util.Set ifcsSeen
        end local 4 // org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding superType
        end local 3 // int suggestedParameterLength
        end local 2 // char[] selector
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding original
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier this
      LocalVariableTable:
        Start  End  Slot                      Name  Signature
            0   20     0                      this  Lorg/eclipse/jdt/internal/compiler/lookup/ImplicitNullAnnotationVerifier;
            0   20     1                  original  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            0   20     2                  selector  [C
            0   20     3  suggestedParameterLength  I
            0   20     4                 superType  Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            0   20     5                  ifcsSeen  Ljava/util/Set;
            0   20     6                    result  Ljava/util/List;
            1   20     7                ifcMethods  [Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            2   20     8                    length  I
            3   20     9                     added  Z
            4   17    10                         i  I
            6   15    11             currentMethod  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
    MethodParameters:
                          Name  Flags
      original                  
      selector                  
      suggestedParameterLength  
      superType                 
      ifcsSeen                  
      result                    

  void checkNullSpecInheritance(org.eclipse.jdt.internal.compiler.lookup.MethodBinding, org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration, boolean, org.eclipse.jdt.internal.compiler.lookup.ParameterNonNullDefaultProvider, boolean, org.eclipse.jdt.internal.compiler.lookup.MethodBinding, org.eclipse.jdt.internal.compiler.lookup.MethodBinding[], org.eclipse.jdt.internal.compiler.lookup.Scope, org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo[]);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Lorg/eclipse/jdt/internal/compiler/ast/AbstractMethodDeclaration;ZLorg/eclipse/jdt/internal/compiler/lookup/ParameterNonNullDefaultProvider;ZLorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Lorg/eclipse/jdt/internal/compiler/lookup/Scope;[Lorg/eclipse/jdt/internal/compiler/lookup/ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo;)V
    flags: (0x0000) 
    Code:
      stack=8, locals=28, args_size=10
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding currentMethod
        start local 2 // org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration srcMethod
        start local 3 // boolean hasReturnNonNullDefault
        start local 4 // org.eclipse.jdt.internal.compiler.lookup.ParameterNonNullDefaultProvider hasParameterNonNullDefault
        start local 5 // boolean shouldComplain
        start local 6 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding inheritedMethod
        start local 7 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding[] allInheritedMethods
        start local 8 // org.eclipse.jdt.internal.compiler.lookup.Scope scope
        start local 9 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo[] inheritedNonNullnessInfos
         0: .line 245
            aload 1 /* currentMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.declaringClass:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            getfield org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding.id:I
            iconst_1
            if_icmpne 2
         1: .line 247
            return
         2: .line 259
      StackMap locals:
      StackMap stack:
            aload 6 /* inheritedMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.tagBits:J
            ldc 4096
            land
            lconst_0
            lcmp
            ifne 4
         3: .line 261
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.buddyImplicitNullAnnotationsVerifier:Lorg/eclipse/jdt/internal/compiler/lookup/ImplicitNullAnnotationVerifier;
            aload 6 /* inheritedMethod */
            aconst_null
            iconst_0
            aload 8 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.checkImplicitNullAnnotations:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Lorg/eclipse/jdt/internal/compiler/ast/AbstractMethodDeclaration;ZLorg/eclipse/jdt/internal/compiler/lookup/Scope;)V
         4: .line 263
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.usesNullTypeAnnotations:()Z
            istore 10 /* useTypeAnnotations */
        start local 10 // boolean useTypeAnnotations
         5: .line 264
            aload 0 /* this */
            aload 6 /* inheritedMethod */
            iload 10 /* useTypeAnnotations */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.getReturnTypeNullnessTagBits:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Z)J
            lstore 11 /* inheritedNullnessBits */
        start local 11 // long inheritedNullnessBits
         6: .line 265
            aload 0 /* this */
            aload 1 /* currentMethod */
            iload 10 /* useTypeAnnotations */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.getReturnTypeNullnessTagBits:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Z)J
            lstore 13 /* currentNullnessBits */
        start local 13 // long currentNullnessBits
         7: .line 267
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.inheritNullAnnotations:Z
            istore 15 /* shouldInherit */
        start local 15 // boolean shouldInherit
         8: .line 271
            aload 1 /* currentMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            ifnull 52
            aload 1 /* currentMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isBaseType:()Z
            ifeq 10
         9: .line 272
            goto 52
        10: .line 273
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration int org.eclipse.jdt.internal.compiler.lookup.ParameterNonNullDefaultProvider int org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding[] org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo[] int long long int
      StackMap stack:
            lload 13 /* currentNullnessBits */
            lconst_0
            lcmp
            ifne 28
        11: .line 275
            iload 15 /* shouldInherit */
            ifeq 25
        12: .line 276
            lload 11 /* inheritedNullnessBits */
            lconst_0
            lcmp
            ifeq 25
        13: .line 277
            iload 3 /* hasReturnNonNullDefault */
            ifeq 16
        14: .line 279
            iload 5 /* shouldComplain */
            ifeq 16
            lload 11 /* inheritedNullnessBits */
            ldc 36028797018963968
            lcmp
            ifne 16
        15: .line 280
            aload 8 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.Scope.problemReporter:()Lorg/eclipse/jdt/internal/compiler/problem/ProblemReporter;
            aload 1 /* currentMethod */
            aload 2 /* srcMethod */
            checkcast org.eclipse.jdt.internal.compiler.ast.MethodDeclaration
            getfield org.eclipse.jdt.internal.compiler.ast.MethodDeclaration.returnType:Lorg/eclipse/jdt/internal/compiler/ast/TypeReference;
            aload 6 /* inheritedMethod */
            invokevirtual org.eclipse.jdt.internal.compiler.problem.ProblemReporter.conflictingNullAnnotations:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Lorg/eclipse/jdt/internal/compiler/ast/ASTNode;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;)V
        16: .line 283
      StackMap locals:
      StackMap stack:
            aload 9 /* inheritedNonNullnessInfos */
            ifnull 23
            aload 2 /* srcMethod */
            ifnull 23
        17: .line 284
            aload 0 /* this */
            aload 8 /* scope */
            aload 2 /* srcMethod */
            checkcast org.eclipse.jdt.internal.compiler.ast.MethodDeclaration
            getfield org.eclipse.jdt.internal.compiler.ast.MethodDeclaration.returnType:Lorg/eclipse/jdt/internal/compiler/ast/TypeReference;
        18: .line 285
            aload 6 /* inheritedMethod */
            lload 11 /* inheritedNullnessBits */
            ldc 72057594037927936
            lcmp
            ifne 19
            iconst_1
            goto 20
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration int org.eclipse.jdt.internal.compiler.lookup.ParameterNonNullDefaultProvider int org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding[] org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo[] int long long int
      StackMap stack: org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.ast.TypeReference org.eclipse.jdt.internal.compiler.lookup.MethodBinding
        19: iconst_0
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration int org.eclipse.jdt.internal.compiler.lookup.ParameterNonNullDefaultProvider int org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding[] org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo[] int long long int
      StackMap stack: org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.ast.TypeReference org.eclipse.jdt.internal.compiler.lookup.MethodBinding int
        20: invokestatic java.lang.Boolean.valueOf:(Z)Ljava/lang/Boolean;
            aload 9 /* inheritedNonNullnessInfos */
            iconst_0
            aaload
        21: .line 284
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.recordDeferredInheritedNullness:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;Lorg/eclipse/jdt/internal/compiler/ast/ASTNode;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Ljava/lang/Boolean;Lorg/eclipse/jdt/internal/compiler/lookup/ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo;)V
        22: .line 286
            goto 52
        23: .line 288
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            aload 1 /* currentMethod */
            lload 11 /* inheritedNullnessBits */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.applyReturnNullBits:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;J)V
        24: .line 290
            goto 52
        25: .line 293
      StackMap locals:
      StackMap stack:
            iload 3 /* hasReturnNonNullDefault */
            ifeq 28
            iload 10 /* useTypeAnnotations */
            ifeq 26
            aload 1 /* currentMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.acceptsNonNullDefault:()Z
            ifeq 28
        26: .line 294
      StackMap locals:
      StackMap stack:
            ldc 72057594037927936
            lstore 13 /* currentNullnessBits */
        27: .line 295
            aload 0 /* this */
            aload 1 /* currentMethod */
            lload 13 /* currentNullnessBits */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.applyReturnNullBits:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;J)V
        28: .line 298
      StackMap locals:
      StackMap stack:
            iload 5 /* shouldComplain */
            ifeq 52
        29: .line 299
            lload 11 /* inheritedNullnessBits */
            ldc 72057594037927936
            land
            lconst_0
            lcmp
            ifeq 38
        30: .line 300
            lload 13 /* currentNullnessBits */
            ldc 72057594037927936
            lcmp
            ifeq 38
        31: .line 302
            aload 2 /* srcMethod */
            ifnull 36
        32: .line 303
            aload 8 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.Scope.problemReporter:()Lorg/eclipse/jdt/internal/compiler/problem/ProblemReporter;
            aload 2 /* srcMethod */
            aload 6 /* inheritedMethod */
        33: .line 304
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.getNonNullAnnotationName:()[[C
        34: .line 303
            invokevirtual org.eclipse.jdt.internal.compiler.problem.ProblemReporter.illegalReturnRedefinition:(Lorg/eclipse/jdt/internal/compiler/ast/AbstractMethodDeclaration;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;[[C)V
        35: .line 305
            goto 52
        36: .line 307
      StackMap locals:
      StackMap stack:
            aload 8 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.Scope.problemReporter:()Lorg/eclipse/jdt/internal/compiler/problem/ProblemReporter;
            aload 8 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.Scope.referenceContext:()Lorg/eclipse/jdt/internal/compiler/impl/ReferenceContext;
            aload 1 /* currentMethod */
            aload 6 /* inheritedMethod */
            iload 10 /* useTypeAnnotations */
            invokevirtual org.eclipse.jdt.internal.compiler.problem.ProblemReporter.cannotImplementIncompatibleNullness:(Lorg/eclipse/jdt/internal/compiler/impl/ReferenceContext;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Z)V
        37: .line 308
            return
        38: .line 311
      StackMap locals:
      StackMap stack:
            iload 10 /* useTypeAnnotations */
            ifeq 52
        39: .line 312
            aconst_null
            astore 16 /* substituteReturnType */
        start local 16 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding substituteReturnType
        40: .line 313
            aload 6 /* inheritedMethod */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.original:()Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.typeVariables:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
            astore 17 /* typeVariables */
        start local 17 // org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] typeVariables
        41: .line 314
            aload 17 /* typeVariables */
            ifnull 44
            aload 1 /* currentMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.id:I
            bipush 6
            if_icmpeq 44
        42: .line 315
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            aload 1 /* currentMethod */
            aload 17 /* typeVariables */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.createParameterizedGenericMethod:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedGenericMethodBinding;
            astore 18 /* substitute */
        start local 18 // org.eclipse.jdt.internal.compiler.lookup.ParameterizedGenericMethodBinding substitute
        43: .line 316
            aload 18 /* substitute */
            getfield org.eclipse.jdt.internal.compiler.lookup.ParameterizedGenericMethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 16 /* substituteReturnType */
        end local 18 // org.eclipse.jdt.internal.compiler.lookup.ParameterizedGenericMethodBinding substitute
        44: .line 318
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[]
      StackMap stack:
            aload 6 /* inheritedMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 1 /* currentMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 16 /* substituteReturnType */
            aconst_null
            iconst_0
            aconst_null
            getstatic org.eclipse.jdt.internal.compiler.ast.NullAnnotationMatching$CheckMode.OVERRIDE_RETURN:Lorg/eclipse/jdt/internal/compiler/ast/NullAnnotationMatching$CheckMode;
            invokestatic org.eclipse.jdt.internal.compiler.ast.NullAnnotationMatching.analyse:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/Substitution;ILorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/ast/NullAnnotationMatching$CheckMode;)Lorg/eclipse/jdt/internal/compiler/ast/NullAnnotationMatching;
            invokevirtual org.eclipse.jdt.internal.compiler.ast.NullAnnotationMatching.isAnyMismatch:()Z
            ifeq 52
        45: .line 319
            aload 2 /* srcMethod */
            ifnull 50
        46: .line 320
            aload 8 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.Scope.problemReporter:()Lorg/eclipse/jdt/internal/compiler/problem/ProblemReporter;
            aload 2 /* srcMethod */
            aload 6 /* inheritedMethod */
        47: .line 321
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.getNonNullAnnotationName:()[[C
        48: .line 320
            invokevirtual org.eclipse.jdt.internal.compiler.problem.ProblemReporter.illegalReturnRedefinition:(Lorg/eclipse/jdt/internal/compiler/ast/AbstractMethodDeclaration;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;[[C)V
        49: .line 321
            goto 51
        50: .line 323
      StackMap locals:
      StackMap stack:
            aload 8 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.Scope.problemReporter:()Lorg/eclipse/jdt/internal/compiler/problem/ProblemReporter;
            aload 8 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.Scope.referenceContext:()Lorg/eclipse/jdt/internal/compiler/impl/ReferenceContext;
            aload 1 /* currentMethod */
            aload 6 /* inheritedMethod */
            iload 10 /* useTypeAnnotations */
            invokevirtual org.eclipse.jdt.internal.compiler.problem.ProblemReporter.cannotImplementIncompatibleNullness:(Lorg/eclipse/jdt/internal/compiler/impl/ReferenceContext;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Z)V
        51: .line 324
      StackMap locals:
      StackMap stack:
            return
        end local 17 // org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] typeVariables
        end local 16 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding substituteReturnType
        52: .line 331
      StackMap locals:
      StackMap stack:
            aconst_null
            astore 16 /* substituteParameters */
        start local 16 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] substituteParameters
        53: .line 332
            iload 5 /* shouldComplain */
            ifeq 58
        54: .line 333
            aload 1 /* currentMethod */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.original:()Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.typeVariables:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
            astore 17 /* typeVariables */
        start local 17 // org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] typeVariables
        55: .line 334
            aload 17 /* typeVariables */
            getstatic org.eclipse.jdt.internal.compiler.lookup.Binding.NO_TYPE_VARIABLES:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
            if_acmpeq 58
        56: .line 335
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            aload 6 /* inheritedMethod */
            aload 17 /* typeVariables */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.createParameterizedGenericMethod:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedGenericMethodBinding;
            astore 18 /* substitute */
        start local 18 // org.eclipse.jdt.internal.compiler.lookup.ParameterizedGenericMethodBinding substitute
        57: .line 336
            aload 18 /* substitute */
            getfield org.eclipse.jdt.internal.compiler.lookup.ParameterizedGenericMethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 16 /* substituteParameters */
        end local 18 // org.eclipse.jdt.internal.compiler.lookup.ParameterizedGenericMethodBinding substitute
        end local 17 // org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] typeVariables
        58: .line 340
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding[]
      StackMap stack:
            aload 2 /* srcMethod */
            ifnonnull 59
            aconst_null
            goto 60
      StackMap locals:
      StackMap stack:
        59: aload 2 /* srcMethod */
            getfield org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration.arguments:[Lorg/eclipse/jdt/internal/compiler/ast/Argument;
      StackMap locals:
      StackMap stack: org.eclipse.jdt.internal.compiler.ast.Argument[]
        60: astore 17 /* currentArguments */
        start local 17 // org.eclipse.jdt.internal.compiler.ast.Argument[] currentArguments
        61: .line 342
            iconst_0
            istore 18 /* length */
        start local 18 // int length
        62: .line 343
            aload 17 /* currentArguments */
            ifnull 64
        63: .line 344
            aload 17 /* currentArguments */
            arraylength
            istore 18 /* length */
        64: .line 345
      StackMap locals: org.eclipse.jdt.internal.compiler.ast.Argument[] int
      StackMap stack:
            iload 10 /* useTypeAnnotations */
            ifeq 66
        65: .line 346
            aload 1 /* currentMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            arraylength
            istore 18 /* length */
            goto 70
        66: .line 347
      StackMap locals:
      StackMap stack:
            aload 6 /* inheritedMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameterNonNullness:[Ljava/lang/Boolean;
            ifnull 68
        67: .line 348
            aload 6 /* inheritedMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameterNonNullness:[Ljava/lang/Boolean;
            arraylength
            istore 18 /* length */
            goto 70
        68: .line 349
      StackMap locals:
      StackMap stack:
            aload 1 /* currentMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameterNonNullness:[Ljava/lang/Boolean;
            ifnull 70
        69: .line 350
            aload 1 /* currentMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameterNonNullness:[Ljava/lang/Boolean;
            arraylength
            istore 18 /* length */
        70: .line 353
      StackMap locals:
      StackMap stack:
            iconst_0
            istore 19 /* i */
        start local 19 // int i
        71: goto 155
        72: .line 354
      StackMap locals: int
      StackMap stack:
            aload 1 /* currentMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iload 19 /* i */
            aaload
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isBaseType:()Z
            ifeq 73
            goto 154
        73: .line 356
      StackMap locals:
      StackMap stack:
            aload 17 /* currentArguments */
            ifnonnull 75
        74: .line 357
            aconst_null
            goto 76
      StackMap locals:
      StackMap stack:
        75: aload 17 /* currentArguments */
            iload 19 /* i */
            aaload
        76: .line 356
      StackMap locals:
      StackMap stack: org.eclipse.jdt.internal.compiler.ast.Argument
            astore 20 /* currentArgument */
        start local 20 // org.eclipse.jdt.internal.compiler.ast.Argument currentArgument
        77: .line 358
            aload 0 /* this */
            aload 6 /* inheritedMethod */
            iload 19 /* i */
            iload 10 /* useTypeAnnotations */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.getParameterNonNullness:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;IZ)Ljava/lang/Boolean;
            astore 21 /* inheritedNonNullNess */
        start local 21 // java.lang.Boolean inheritedNonNullNess
        78: .line 359
            aload 0 /* this */
            aload 1 /* currentMethod */
            iload 19 /* i */
            iload 10 /* useTypeAnnotations */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.getParameterNonNullness:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;IZ)Ljava/lang/Boolean;
            astore 22 /* currentNonNullNess */
        start local 22 // java.lang.Boolean currentNonNullNess
        79: .line 361
            aload 22 /* currentNonNullNess */
            ifnonnull 103
        80: .line 363
            aload 21 /* inheritedNonNullNess */
            ifnull 96
        81: .line 364
            iload 15 /* shouldInherit */
            ifeq 96
        82: .line 365
            aload 4 /* hasParameterNonNullDefault */
            iload 19 /* i */
            invokeinterface org.eclipse.jdt.internal.compiler.lookup.ParameterNonNullDefaultProvider.hasNonNullDefaultForParam:(I)Z
            ifeq 87
        83: .line 367
            iload 5 /* shouldComplain */
            ifeq 87
        84: .line 368
            aload 21 /* inheritedNonNullNess */
            getstatic java.lang.Boolean.FALSE:Ljava/lang/Boolean;
            if_acmpne 87
        85: .line 369
            aload 20 /* currentArgument */
            ifnull 87
        86: .line 371
            aload 8 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.Scope.problemReporter:()Lorg/eclipse/jdt/internal/compiler/problem/ProblemReporter;
            aload 1 /* currentMethod */
            aload 20 /* currentArgument */
            aload 6 /* inheritedMethod */
            invokevirtual org.eclipse.jdt.internal.compiler.problem.ProblemReporter.conflictingNullAnnotations:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Lorg/eclipse/jdt/internal/compiler/ast/ASTNode;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;)V
        87: .line 375
      StackMap locals: org.eclipse.jdt.internal.compiler.ast.Argument java.lang.Boolean java.lang.Boolean
      StackMap stack:
            aload 9 /* inheritedNonNullnessInfos */
            ifnull 92
            aload 2 /* srcMethod */
            ifnull 92
        88: .line 376
            aload 0 /* this */
            aload 8 /* scope */
            aload 2 /* srcMethod */
            getfield org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration.arguments:[Lorg/eclipse/jdt/internal/compiler/ast/Argument;
            iload 19 /* i */
            aaload
            getfield org.eclipse.jdt.internal.compiler.ast.Argument.type:Lorg/eclipse/jdt/internal/compiler/ast/TypeReference;
        89: .line 377
            aload 6 /* inheritedMethod */
            aload 21 /* inheritedNonNullNess */
            aload 9 /* inheritedNonNullnessInfos */
            iload 19 /* i */
            iconst_1
            iadd
            aaload
        90: .line 376
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.recordDeferredInheritedNullness:(Lorg/eclipse/jdt/internal/compiler/lookup/Scope;Lorg/eclipse/jdt/internal/compiler/ast/ASTNode;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Ljava/lang/Boolean;Lorg/eclipse/jdt/internal/compiler/lookup/ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo;)V
        91: .line 378
            goto 154
        92: .line 380
      StackMap locals:
      StackMap stack:
            iload 10 /* useTypeAnnotations */
            ifne 94
        93: .line 381
            aload 0 /* this */
            aload 1 /* currentMethod */
            iload 18 /* length */
            iload 19 /* i */
            aload 20 /* currentArgument */
            aload 21 /* inheritedNonNullNess */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.recordArgNonNullness:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;IILorg/eclipse/jdt/internal/compiler/ast/Argument;Ljava/lang/Boolean;)V
            goto 154
        94: .line 383
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            aload 1 /* currentMethod */
            iload 19 /* i */
            aload 20 /* currentArgument */
            aload 21 /* inheritedNonNullNess */
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.recordArgNonNullness18:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;ILorg/eclipse/jdt/internal/compiler/ast/Argument;Ljava/lang/Boolean;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)V
        95: .line 385
            goto 154
        96: .line 388
      StackMap locals:
      StackMap stack:
            aload 4 /* hasParameterNonNullDefault */
            iload 19 /* i */
            invokeinterface org.eclipse.jdt.internal.compiler.lookup.ParameterNonNullDefaultProvider.hasNonNullDefaultForParam:(I)Z
            ifeq 103
        97: .line 389
            getstatic java.lang.Boolean.TRUE:Ljava/lang/Boolean;
            astore 22 /* currentNonNullNess */
        98: .line 390
            iload 10 /* useTypeAnnotations */
            ifne 100
        99: .line 391
            aload 0 /* this */
            aload 1 /* currentMethod */
            iload 18 /* length */
            iload 19 /* i */
            aload 20 /* currentArgument */
            getstatic java.lang.Boolean.TRUE:Ljava/lang/Boolean;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.recordArgNonNullness:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;IILorg/eclipse/jdt/internal/compiler/ast/Argument;Ljava/lang/Boolean;)V
            goto 103
       100: .line 392
      StackMap locals:
      StackMap stack:
            aload 1 /* currentMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iload 19 /* i */
            aaload
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.acceptsNonNullDefault:()Z
            ifeq 102
       101: .line 393
            aload 0 /* this */
            aload 1 /* currentMethod */
            iload 19 /* i */
            aload 20 /* currentArgument */
            getstatic java.lang.Boolean.TRUE:Ljava/lang/Boolean;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.recordArgNonNullness18:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;ILorg/eclipse/jdt/internal/compiler/ast/Argument;Ljava/lang/Boolean;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)V
            goto 103
       102: .line 395
      StackMap locals:
      StackMap stack:
            aconst_null
            astore 22 /* currentNonNullNess */
       103: .line 398
      StackMap locals:
      StackMap stack:
            iload 5 /* shouldComplain */
            ifeq 154
       104: .line 400
            aload 21 /* inheritedNonNullNess */
            getstatic java.lang.Boolean.TRUE:Ljava/lang/Boolean;
            if_acmpne 107
       105: .line 401
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.getNonNullAnnotationName:()[[C
            astore 23 /* annotationName */
        start local 23 // char[][] annotationName
       106: .line 402
            goto 108
        end local 23 // char[][] annotationName
       107: .line 403
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.getNullableAnnotationName:()[[C
            astore 23 /* annotationName */
        start local 23 // char[][] annotationName
       108: .line 405
      StackMap locals: char[][]
      StackMap stack:
            aload 21 /* inheritedNonNullNess */
            getstatic java.lang.Boolean.TRUE:Ljava/lang/Boolean;
            if_acmpeq 120
       109: .line 406
            aload 22 /* currentNonNullNess */
            getstatic java.lang.Boolean.TRUE:Ljava/lang/Boolean;
            if_acmpne 120
       110: .line 409
            aload 20 /* currentArgument */
            ifnull 118
       111: .line 410
            aload 8 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.Scope.problemReporter:()Lorg/eclipse/jdt/internal/compiler/problem/ProblemReporter;
       112: .line 411
            aload 20 /* currentArgument */
       113: .line 412
            aload 6 /* inheritedMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.declaringClass:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
       114: .line 413
            aload 21 /* inheritedNonNullNess */
            ifnonnull 115
            aconst_null
            goto 116
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration int org.eclipse.jdt.internal.compiler.lookup.ParameterNonNullDefaultProvider int org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding[] org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo[] int long long int org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.ast.Argument[] int int org.eclipse.jdt.internal.compiler.ast.Argument java.lang.Boolean java.lang.Boolean char[][]
      StackMap stack: org.eclipse.jdt.internal.compiler.problem.ProblemReporter org.eclipse.jdt.internal.compiler.ast.Argument org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding
       115: aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.getNullableAnnotationName:()[[C
       116: .line 410
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration int org.eclipse.jdt.internal.compiler.lookup.ParameterNonNullDefaultProvider int org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding[] org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo[] int long long int org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.ast.Argument[] int int org.eclipse.jdt.internal.compiler.ast.Argument java.lang.Boolean java.lang.Boolean char[][]
      StackMap stack: org.eclipse.jdt.internal.compiler.problem.ProblemReporter org.eclipse.jdt.internal.compiler.ast.Argument org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding char[][]
            invokevirtual org.eclipse.jdt.internal.compiler.problem.ProblemReporter.illegalRedefinitionToNonNullParameter:(Lorg/eclipse/jdt/internal/compiler/ast/Argument;Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;[[C)V
       117: .line 414
            goto 154
       118: .line 415
      StackMap locals:
      StackMap stack:
            aload 8 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.Scope.problemReporter:()Lorg/eclipse/jdt/internal/compiler/problem/ProblemReporter;
            aload 8 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.Scope.referenceContext:()Lorg/eclipse/jdt/internal/compiler/impl/ReferenceContext;
            aload 1 /* currentMethod */
            aload 6 /* inheritedMethod */
            iconst_0
            invokevirtual org.eclipse.jdt.internal.compiler.problem.ProblemReporter.cannotImplementIncompatibleNullness:(Lorg/eclipse/jdt/internal/compiler/impl/ReferenceContext;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Z)V
       119: .line 417
            goto 154
       120: .line 418
      StackMap locals:
      StackMap stack:
            aload 22 /* currentNonNullNess */
            ifnonnull 145
       121: .line 421
            aload 21 /* inheritedNonNullNess */
            getstatic java.lang.Boolean.FALSE:Ljava/lang/Boolean;
            if_acmpne 131
       122: .line 422
            aload 20 /* currentArgument */
            ifnull 129
       123: .line 423
            aload 8 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.Scope.problemReporter:()Lorg/eclipse/jdt/internal/compiler/problem/ProblemReporter;
       124: .line 424
            aload 20 /* currentArgument */
       125: .line 425
            aload 6 /* inheritedMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.declaringClass:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
       126: .line 426
            aload 23 /* annotationName */
       127: .line 423
            invokevirtual org.eclipse.jdt.internal.compiler.problem.ProblemReporter.parameterLackingNullableAnnotation:(Lorg/eclipse/jdt/internal/compiler/ast/Argument;Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;[[C)V
       128: .line 427
            goto 154
       129: .line 428
      StackMap locals:
      StackMap stack:
            aload 8 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.Scope.problemReporter:()Lorg/eclipse/jdt/internal/compiler/problem/ProblemReporter;
            aload 8 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.Scope.referenceContext:()Lorg/eclipse/jdt/internal/compiler/impl/ReferenceContext;
            aload 1 /* currentMethod */
            aload 6 /* inheritedMethod */
            iconst_0
            invokevirtual org.eclipse.jdt.internal.compiler.problem.ProblemReporter.cannotImplementIncompatibleNullness:(Lorg/eclipse/jdt/internal/compiler/impl/ReferenceContext;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Z)V
       130: .line 430
            goto 154
       131: .line 431
      StackMap locals:
      StackMap stack:
            aload 21 /* inheritedNonNullNess */
            getstatic java.lang.Boolean.TRUE:Ljava/lang/Boolean;
            if_acmpne 145
       132: .line 433
            aload 7 /* allInheritedMethods */
            ifnull 139
       133: .line 435
            aload 7 /* allInheritedMethods */
            dup
            astore 27
            arraylength
            istore 26
            iconst_0
            istore 25
            goto 138
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration int org.eclipse.jdt.internal.compiler.lookup.ParameterNonNullDefaultProvider int org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding[] org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo[] int long long int org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.ast.Argument[] int int org.eclipse.jdt.internal.compiler.ast.Argument java.lang.Boolean java.lang.Boolean char[][] top int int org.eclipse.jdt.internal.compiler.lookup.MethodBinding[]
      StackMap stack:
       134: aload 27
            iload 25
            aaload
            astore 24 /* one */
        start local 24 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding one
       135: .line 436
            aload 6 /* inheritedMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.declaringClass:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            aload 24 /* one */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.declaringClass:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifeq 137
            aload 0 /* this */
            aload 24 /* one */
            iload 19 /* i */
            iload 10 /* useTypeAnnotations */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.getParameterNonNullness:(Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;IZ)Ljava/lang/Boolean;
            getstatic java.lang.Boolean.TRUE:Ljava/lang/Boolean;
            if_acmpeq 137
       136: .line 437
            goto 154
        end local 24 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding one
       137: .line 435
      StackMap locals:
      StackMap stack:
            iinc 25 1
      StackMap locals:
      StackMap stack:
       138: iload 25
            iload 26
            if_icmplt 134
       139: .line 439
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration int org.eclipse.jdt.internal.compiler.lookup.ParameterNonNullDefaultProvider int org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding[] org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo[] int long long int org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.ast.Argument[] int int org.eclipse.jdt.internal.compiler.ast.Argument java.lang.Boolean java.lang.Boolean char[][]
      StackMap stack:
            aload 8 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.Scope.problemReporter:()Lorg/eclipse/jdt/internal/compiler/problem/ProblemReporter;
       140: .line 440
            aload 20 /* currentArgument */
       141: .line 441
            aload 6 /* inheritedMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.declaringClass:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
       142: .line 442
            aload 23 /* annotationName */
       143: .line 439
            invokevirtual org.eclipse.jdt.internal.compiler.problem.ProblemReporter.parameterLackingNonnullAnnotation:(Lorg/eclipse/jdt/internal/compiler/ast/Argument;Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;[[C)V
       144: .line 443
            goto 154
       145: .line 446
      StackMap locals:
      StackMap stack:
            iload 10 /* useTypeAnnotations */
            ifeq 154
       146: .line 447
            aload 6 /* inheritedMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iload 19 /* i */
            aaload
            astore 24 /* inheritedParameter */
        start local 24 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding inheritedParameter
       147: .line 448
            aload 16 /* substituteParameters */
            ifnull 148
            aload 16 /* substituteParameters */
            iload 19 /* i */
            aaload
            goto 149
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap stack:
       148: aconst_null
      StackMap locals:
      StackMap stack: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
       149: astore 25 /* substituteParameter */
        start local 25 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding substituteParameter
       150: .line 449
            aload 1 /* currentMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iload 19 /* i */
            aaload
            aload 24 /* inheritedParameter */
            aload 25 /* substituteParameter */
            aconst_null
            iconst_0
            aconst_null
            getstatic org.eclipse.jdt.internal.compiler.ast.NullAnnotationMatching$CheckMode.OVERRIDE:Lorg/eclipse/jdt/internal/compiler/ast/NullAnnotationMatching$CheckMode;
            invokestatic org.eclipse.jdt.internal.compiler.ast.NullAnnotationMatching.analyse:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/Substitution;ILorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/ast/NullAnnotationMatching$CheckMode;)Lorg/eclipse/jdt/internal/compiler/ast/NullAnnotationMatching;
            invokevirtual org.eclipse.jdt.internal.compiler.ast.NullAnnotationMatching.isAnyMismatch:()Z
            ifeq 154
       151: .line 450
            aload 20 /* currentArgument */
            ifnull 153
       152: .line 451
            aload 8 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.Scope.problemReporter:()Lorg/eclipse/jdt/internal/compiler/problem/ProblemReporter;
            aload 20 /* currentArgument */
            aload 6 /* inheritedMethod */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.declaringClass:Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;
            aload 24 /* inheritedParameter */
            invokevirtual org.eclipse.jdt.internal.compiler.problem.ProblemReporter.illegalParameterRedefinition:(Lorg/eclipse/jdt/internal/compiler/ast/Argument;Lorg/eclipse/jdt/internal/compiler/lookup/ReferenceBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)V
            goto 154
       153: .line 453
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding
      StackMap stack:
            aload 8 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.Scope.problemReporter:()Lorg/eclipse/jdt/internal/compiler/problem/ProblemReporter;
            aload 8 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.Scope.referenceContext:()Lorg/eclipse/jdt/internal/compiler/impl/ReferenceContext;
            aload 1 /* currentMethod */
            aload 6 /* inheritedMethod */
            iconst_0
            invokevirtual org.eclipse.jdt.internal.compiler.problem.ProblemReporter.cannotImplementIncompatibleNullness:(Lorg/eclipse/jdt/internal/compiler/impl/ReferenceContext;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Z)V
        end local 25 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding substituteParameter
        end local 24 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding inheritedParameter
        end local 23 // char[][] annotationName
        end local 22 // java.lang.Boolean currentNonNullNess
        end local 21 // java.lang.Boolean inheritedNonNullNess
        end local 20 // org.eclipse.jdt.internal.compiler.ast.Argument currentArgument
       154: .line 353
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration int org.eclipse.jdt.internal.compiler.lookup.ParameterNonNullDefaultProvider int org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding[] org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo[] int long long int org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.ast.Argument[] int int
      StackMap stack:
            iinc 19 /* i */ 1
      StackMap locals:
      StackMap stack:
       155: iload 19 /* i */
            iload 18 /* length */
            if_icmplt 72
        end local 19 // int i
       156: .line 459
            iload 5 /* shouldComplain */
            ifeq 167
            iload 10 /* useTypeAnnotations */
            ifeq 167
            aload 2 /* srcMethod */
            ifnull 167
       157: .line 460
            aload 1 /* currentMethod */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.typeVariables:()[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
            astore 19 /* currentTypeVariables */
        start local 19 // org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] currentTypeVariables
       158: .line 461
            aload 6 /* inheritedMethod */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.MethodBinding.typeVariables:()[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
            astore 20 /* inheritedTypeVariables */
        start local 20 // org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] inheritedTypeVariables
       159: .line 462
            aload 19 /* currentTypeVariables */
            getstatic org.eclipse.jdt.internal.compiler.lookup.Binding.NO_TYPE_VARIABLES:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
            if_acmpeq 167
            aload 19 /* currentTypeVariables */
            arraylength
            aload 20 /* inheritedTypeVariables */
            arraylength
            if_icmpne 167
       160: .line 463
            iconst_0
            istore 21 /* i */
        start local 21 // int i
       161: goto 166
       162: .line 464
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration int org.eclipse.jdt.internal.compiler.lookup.ParameterNonNullDefaultProvider int org.eclipse.jdt.internal.compiler.lookup.MethodBinding org.eclipse.jdt.internal.compiler.lookup.MethodBinding[] org.eclipse.jdt.internal.compiler.lookup.Scope org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo[] int long long int org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.ast.Argument[] int org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] int
      StackMap stack:
            aload 20 /* inheritedTypeVariables */
            iload 21 /* i */
            aaload
            astore 22 /* inheritedVariable */
        start local 22 // org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding inheritedVariable
       163: .line 465
            aload 22 /* inheritedVariable */
            aload 19 /* currentTypeVariables */
            iload 21 /* i */
            aaload
            aconst_null
            aconst_null
            iconst_m1
            aconst_null
            getstatic org.eclipse.jdt.internal.compiler.ast.NullAnnotationMatching$CheckMode.BOUND_CHECK:Lorg/eclipse/jdt/internal/compiler/ast/NullAnnotationMatching$CheckMode;
            invokestatic org.eclipse.jdt.internal.compiler.ast.NullAnnotationMatching.analyse:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/Substitution;ILorg/eclipse/jdt/internal/compiler/ast/Expression;Lorg/eclipse/jdt/internal/compiler/ast/NullAnnotationMatching$CheckMode;)Lorg/eclipse/jdt/internal/compiler/ast/NullAnnotationMatching;
            invokevirtual org.eclipse.jdt.internal.compiler.ast.NullAnnotationMatching.isAnyMismatch:()Z
            ifeq 165
       164: .line 466
            aload 8 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.Scope.problemReporter:()Lorg/eclipse/jdt/internal/compiler/problem/ProblemReporter;
            aload 22 /* inheritedVariable */
            aload 6 /* inheritedMethod */
            aload 2 /* srcMethod */
            invokevirtual org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration.typeParameters:()[Lorg/eclipse/jdt/internal/compiler/ast/TypeParameter;
            iload 21 /* i */
            aaload
            invokevirtual org.eclipse.jdt.internal.compiler.problem.ProblemReporter.cannotRedefineTypeArgumentNullity:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/Binding;Lorg/eclipse/jdt/internal/compiler/ast/ASTNode;)V
        end local 22 // org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding inheritedVariable
       165: .line 463
      StackMap locals:
      StackMap stack:
            iinc 21 /* i */ 1
      StackMap locals:
      StackMap stack:
       166: iload 21 /* i */
            aload 19 /* currentTypeVariables */
            arraylength
            if_icmplt 162
        end local 21 // int i
        end local 20 // org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] inheritedTypeVariables
        end local 19 // org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding[] currentTypeVariables
       167: .line 470
      StackMap locals:
      StackMap stack:
            return
        end local 18 // int length
        end local 17 // org.eclipse.jdt.internal.compiler.ast.Argument[] currentArguments
        end local 16 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] substituteParameters
        end local 15 // boolean shouldInherit
        end local 13 // long currentNullnessBits
        end local 11 // long inheritedNullnessBits
        end local 10 // boolean useTypeAnnotations
        end local 9 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo[] inheritedNonNullnessInfos
        end local 8 // org.eclipse.jdt.internal.compiler.lookup.Scope scope
        end local 7 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding[] allInheritedMethods
        end local 6 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding inheritedMethod
        end local 5 // boolean shouldComplain
        end local 4 // org.eclipse.jdt.internal.compiler.lookup.ParameterNonNullDefaultProvider hasParameterNonNullDefault
        end local 3 // boolean hasReturnNonNullDefault
        end local 2 // org.eclipse.jdt.internal.compiler.ast.AbstractMethodDeclaration srcMethod
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding currentMethod
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier this
      LocalVariableTable:
        Start  End  Slot                        Name  Signature
            0  168     0                        this  Lorg/eclipse/jdt/internal/compiler/lookup/ImplicitNullAnnotationVerifier;
            0  168     1               currentMethod  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            0  168     2                   srcMethod  Lorg/eclipse/jdt/internal/compiler/ast/AbstractMethodDeclaration;
            0  168     3     hasReturnNonNullDefault  Z
            0  168     4  hasParameterNonNullDefault  Lorg/eclipse/jdt/internal/compiler/lookup/ParameterNonNullDefaultProvider;
            0  168     5              shouldComplain  Z
            0  168     6             inheritedMethod  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            0  168     7         allInheritedMethods  [Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            0  168     8                       scope  Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            0  168     9   inheritedNonNullnessInfos  [Lorg/eclipse/jdt/internal/compiler/lookup/ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo;
            5  168    10          useTypeAnnotations  Z
            6  168    11       inheritedNullnessBits  J
            7  168    13         currentNullnessBits  J
            8  168    15               shouldInherit  Z
           40   52    16        substituteReturnType  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           41   52    17               typeVariables  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
           43   44    18                  substitute  Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedGenericMethodBinding;
           53  168    16        substituteParameters  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
           55   58    17               typeVariables  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
           57   58    18                  substitute  Lorg/eclipse/jdt/internal/compiler/lookup/ParameterizedGenericMethodBinding;
           61  168    17            currentArguments  [Lorg/eclipse/jdt/internal/compiler/ast/Argument;
           62  168    18                      length  I
           71  156    19                           i  I
           77  154    20             currentArgument  Lorg/eclipse/jdt/internal/compiler/ast/Argument;
           78  154    21        inheritedNonNullNess  Ljava/lang/Boolean;
           79  154    22          currentNonNullNess  Ljava/lang/Boolean;
          106  107    23              annotationName  [[C
          108  154    23              annotationName  [[C
          135  137    24                         one  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
          147  154    24          inheritedParameter  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
          150  154    25         substituteParameter  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
          158  167    19        currentTypeVariables  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
          159  167    20      inheritedTypeVariables  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
          161  167    21                           i  I
          163  165    22           inheritedVariable  Lorg/eclipse/jdt/internal/compiler/lookup/TypeVariableBinding;
    MethodParameters:
                            Name  Flags
      currentMethod               
      srcMethod                   
      hasReturnNonNullDefault     
      hasParameterNonNullDefault  
      shouldComplain              
      inheritedMethod             
      allInheritedMethods         
      scope                       
      inheritedNonNullnessInfos   

  void applyReturnNullBits(org.eclipse.jdt.internal.compiler.lookup.MethodBinding, long);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;J)V
    flags: (0x0000) 
    Code:
      stack=6, locals=4, args_size=3
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding method
        start local 2 // long nullnessBits
         0: .line 473
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.usesNullTypeAnnotations:()Z
            ifeq 4
         1: .line 474
            aload 1 /* method */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isBaseType:()Z
            ifne 5
         2: .line 475
            aload 1 /* method */
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            aload 1 /* method */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 0 /* this */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.environment:Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            lload 2 /* nullnessBits */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.nullAnnotationsFromTagBits:(J)[Lorg/eclipse/jdt/internal/compiler/lookup/AnnotationBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.createAnnotatedType:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/AnnotationBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            putfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
         3: .line 477
            goto 5
         4: .line 478
      StackMap locals:
      StackMap stack:
            aload 1 /* method */
            dup
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.tagBits:J
            lload 2 /* nullnessBits */
            lor
            putfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.tagBits:J
         5: .line 480
      StackMap locals:
      StackMap stack:
            return
        end local 2 // long nullnessBits
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding method
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier this
      LocalVariableTable:
        Start  End  Slot          Name  Signature
            0    6     0          this  Lorg/eclipse/jdt/internal/compiler/lookup/ImplicitNullAnnotationVerifier;
            0    6     1        method  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            0    6     2  nullnessBits  J
    MethodParameters:
              Name  Flags
      method        
      nullnessBits  

  private java.lang.Boolean getParameterNonNullness(org.eclipse.jdt.internal.compiler.lookup.MethodBinding, int, boolean);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;IZ)Ljava/lang/Boolean;
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=4, locals=7, args_size=4
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding method
        start local 2 // int i
        start local 3 // boolean useTypeAnnotations
         0: .line 483
            iload 3 /* useTypeAnnotations */
            ifeq 9
         1: .line 484
            aload 1 /* method */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iload 2 /* i */
            aaload
            astore 4 /* parameter */
        start local 4 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding parameter
         2: .line 485
            aload 4 /* parameter */
            ifnull 8
         3: .line 486
            aload 4 /* parameter */
            getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.tagBits:J
            invokestatic org.eclipse.jdt.internal.compiler.ast.NullAnnotationMatching.validNullTagBits:(J)J
            lstore 5 /* nullBits */
        start local 5 // long nullBits
         4: .line 487
            lload 5 /* nullBits */
            lconst_0
            lcmp
            ifeq 8
         5: .line 488
            lload 5 /* nullBits */
            ldc 72057594037927936
            lcmp
            ifne 6
            iconst_1
            goto 7
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding long
      StackMap stack:
         6: iconst_0
      StackMap locals:
      StackMap stack: int
         7: invokestatic java.lang.Boolean.valueOf:(Z)Ljava/lang/Boolean;
            areturn
        end local 5 // long nullBits
         8: .line 490
      StackMap locals:
      StackMap stack:
            aconst_null
            areturn
        end local 4 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding parameter
         9: .line 492
      StackMap locals:
      StackMap stack:
            aload 1 /* method */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameterNonNullness:[Ljava/lang/Boolean;
            ifnonnull 11
        10: .line 493
            aconst_null
            goto 12
      StackMap locals:
      StackMap stack:
        11: aload 1 /* method */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameterNonNullness:[Ljava/lang/Boolean;
            iload 2 /* i */
            aaload
        12: .line 492
      StackMap locals:
      StackMap stack: java.lang.Boolean
            areturn
        end local 3 // boolean useTypeAnnotations
        end local 2 // int i
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding method
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier this
      LocalVariableTable:
        Start  End  Slot                Name  Signature
            0   13     0                this  Lorg/eclipse/jdt/internal/compiler/lookup/ImplicitNullAnnotationVerifier;
            0   13     1              method  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            0   13     2                   i  I
            0   13     3  useTypeAnnotations  Z
            2    9     4           parameter  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            4    8     5            nullBits  J
    MethodParameters:
                    Name  Flags
      method              
      i                   
      useTypeAnnotations  

  private long getReturnTypeNullnessTagBits(org.eclipse.jdt.internal.compiler.lookup.MethodBinding, boolean);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Z)J
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=4, locals=3, args_size=3
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding method
        start local 2 // boolean useTypeAnnotations
         0: .line 497
            iload 2 /* useTypeAnnotations */
            ifeq 4
         1: .line 498
            aload 1 /* method */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            ifnonnull 3
         2: .line 499
            lconst_0
            lreturn
         3: .line 500
      StackMap locals:
      StackMap stack:
            aload 1 /* method */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.returnType:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            getfield org.eclipse.jdt.internal.compiler.lookup.TypeBinding.tagBits:J
            invokestatic org.eclipse.jdt.internal.compiler.ast.NullAnnotationMatching.validNullTagBits:(J)J
            lreturn
         4: .line 502
      StackMap locals:
      StackMap stack:
            aload 1 /* method */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.tagBits:J
            ldc 108086391056891904
            land
            lreturn
        end local 2 // boolean useTypeAnnotations
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding method
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier this
      LocalVariableTable:
        Start  End  Slot                Name  Signature
            0    5     0                this  Lorg/eclipse/jdt/internal/compiler/lookup/ImplicitNullAnnotationVerifier;
            0    5     1              method  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            0    5     2  useTypeAnnotations  Z
    MethodParameters:
                    Name  Flags
      method              
      useTypeAnnotations  

  protected void recordDeferredInheritedNullness(org.eclipse.jdt.internal.compiler.lookup.Scope, org.eclipse.jdt.internal.compiler.ast.ASTNode, org.eclipse.jdt.internal.compiler.lookup.MethodBinding, java.lang.Boolean, org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/Scope;Lorg/eclipse/jdt/internal/compiler/ast/ASTNode;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Ljava/lang/Boolean;Lorg/eclipse/jdt/internal/compiler/lookup/ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo;)V
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=6, locals=6, args_size=6
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.Scope scope
        start local 2 // org.eclipse.jdt.internal.compiler.ast.ASTNode location
        start local 3 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding inheritedMethod
        start local 4 // java.lang.Boolean inheritedNonNullness
        start local 5 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo nullnessInfo
         0: .line 510
            aload 5 /* nullnessInfo */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo.inheritedNonNullness:Ljava/lang/Boolean;
            ifnull 7
            aload 5 /* nullnessInfo */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo.inheritedNonNullness:Ljava/lang/Boolean;
            aload 4 /* inheritedNonNullness */
            if_acmpeq 7
         1: .line 511
            aload 1 /* scope */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.Scope.problemReporter:()Lorg/eclipse/jdt/internal/compiler/problem/ProblemReporter;
            aload 2 /* location */
         2: .line 512
            aload 5 /* nullnessInfo */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo.inheritedNonNullness:Ljava/lang/Boolean;
            invokevirtual java.lang.Boolean.booleanValue:()Z
            aload 5 /* nullnessInfo */
            getfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo.annotationOrigin:Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
         3: .line 513
            aload 4 /* inheritedNonNullness */
            invokevirtual java.lang.Boolean.booleanValue:()Z
            aload 3 /* inheritedMethod */
         4: .line 511
            invokevirtual org.eclipse.jdt.internal.compiler.problem.ProblemReporter.conflictingInheritedNullAnnotations:(Lorg/eclipse/jdt/internal/compiler/ast/ASTNode;ZLorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;ZLorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;)V
         5: .line 514
            aload 5 /* nullnessInfo */
            iconst_1
            putfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo.complained:Z
         6: .line 516
            goto 9
         7: .line 517
      StackMap locals:
      StackMap stack:
            aload 5 /* nullnessInfo */
            aload 4 /* inheritedNonNullness */
            putfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo.inheritedNonNullness:Ljava/lang/Boolean;
         8: .line 518
            aload 5 /* nullnessInfo */
            aload 3 /* inheritedMethod */
            putfield org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo.annotationOrigin:Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
         9: .line 520
      StackMap locals:
      StackMap stack:
            return
        end local 5 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo nullnessInfo
        end local 4 // java.lang.Boolean inheritedNonNullness
        end local 3 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding inheritedMethod
        end local 2 // org.eclipse.jdt.internal.compiler.ast.ASTNode location
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.Scope scope
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier this
      LocalVariableTable:
        Start  End  Slot                  Name  Signature
            0   10     0                  this  Lorg/eclipse/jdt/internal/compiler/lookup/ImplicitNullAnnotationVerifier;
            0   10     1                 scope  Lorg/eclipse/jdt/internal/compiler/lookup/Scope;
            0   10     2              location  Lorg/eclipse/jdt/internal/compiler/ast/ASTNode;
            0   10     3       inheritedMethod  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            0   10     4  inheritedNonNullness  Ljava/lang/Boolean;
            0   10     5          nullnessInfo  Lorg/eclipse/jdt/internal/compiler/lookup/ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo;
    MethodParameters:
                      Name  Flags
      scope                 
      location              
      inheritedMethod       
      inheritedNonNullness  
      nullnessInfo          

  void recordArgNonNullness(org.eclipse.jdt.internal.compiler.lookup.MethodBinding, int, int, org.eclipse.jdt.internal.compiler.ast.Argument, java.lang.Boolean);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;IILorg/eclipse/jdt/internal/compiler/ast/Argument;Ljava/lang/Boolean;)V
    flags: (0x0000) 
    Code:
      stack=5, locals=6, args_size=6
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding method
        start local 2 // int paramCount
        start local 3 // int paramIdx
        start local 4 // org.eclipse.jdt.internal.compiler.ast.Argument currentArgument
        start local 5 // java.lang.Boolean nonNullNess
         0: .line 524
            aload 1 /* method */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameterNonNullness:[Ljava/lang/Boolean;
            ifnonnull 2
         1: .line 525
            aload 1 /* method */
            iload 2 /* paramCount */
            anewarray java.lang.Boolean
            putfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameterNonNullness:[Ljava/lang/Boolean;
         2: .line 526
      StackMap locals:
      StackMap stack:
            aload 1 /* method */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameterNonNullness:[Ljava/lang/Boolean;
            iload 3 /* paramIdx */
            aload 5 /* nonNullNess */
            aastore
         3: .line 527
            aload 4 /* currentArgument */
            ifnull 9
         4: .line 528
            aload 4 /* currentArgument */
            getfield org.eclipse.jdt.internal.compiler.ast.Argument.binding:Lorg/eclipse/jdt/internal/compiler/lookup/LocalVariableBinding;
            dup
            getfield org.eclipse.jdt.internal.compiler.lookup.LocalVariableBinding.tagBits:J
            aload 5 /* nonNullNess */
            invokevirtual java.lang.Boolean.booleanValue:()Z
            ifeq 6
         5: .line 529
            ldc 72057594037927936
            goto 7
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier org.eclipse.jdt.internal.compiler.lookup.MethodBinding int int org.eclipse.jdt.internal.compiler.ast.Argument java.lang.Boolean
      StackMap stack: org.eclipse.jdt.internal.compiler.lookup.LocalVariableBinding long
         6: ldc 36028797018963968
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier org.eclipse.jdt.internal.compiler.lookup.MethodBinding int int org.eclipse.jdt.internal.compiler.ast.Argument java.lang.Boolean
      StackMap stack: org.eclipse.jdt.internal.compiler.lookup.LocalVariableBinding long long
         7: lor
         8: .line 528
            putfield org.eclipse.jdt.internal.compiler.lookup.LocalVariableBinding.tagBits:J
         9: .line 531
      StackMap locals:
      StackMap stack:
            return
        end local 5 // java.lang.Boolean nonNullNess
        end local 4 // org.eclipse.jdt.internal.compiler.ast.Argument currentArgument
        end local 3 // int paramIdx
        end local 2 // int paramCount
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding method
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier this
      LocalVariableTable:
        Start  End  Slot             Name  Signature
            0   10     0             this  Lorg/eclipse/jdt/internal/compiler/lookup/ImplicitNullAnnotationVerifier;
            0   10     1           method  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            0   10     2       paramCount  I
            0   10     3         paramIdx  I
            0   10     4  currentArgument  Lorg/eclipse/jdt/internal/compiler/ast/Argument;
            0   10     5      nonNullNess  Ljava/lang/Boolean;
    MethodParameters:
                 Name  Flags
      method           
      paramCount       
      paramIdx         
      currentArgument  
      nonNullNess      

  void recordArgNonNullness18(org.eclipse.jdt.internal.compiler.lookup.MethodBinding, int, org.eclipse.jdt.internal.compiler.ast.Argument, java.lang.Boolean, org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;ILorg/eclipse/jdt/internal/compiler/ast/Argument;Ljava/lang/Boolean;Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;)V
    flags: (0x0000) 
    Code:
      stack=8, locals=7, args_size=6
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier this
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding method
        start local 2 // int paramIdx
        start local 3 // org.eclipse.jdt.internal.compiler.ast.Argument currentArgument
        start local 4 // java.lang.Boolean nonNullNess
        start local 5 // org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment env
         0: .line 533
            aload 4 /* nonNullNess */
            invokevirtual java.lang.Boolean.booleanValue:()Z
            ifeq 1
            aload 5 /* env */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.getNonNullAnnotation:()Lorg/eclipse/jdt/internal/compiler/lookup/AnnotationBinding;
            goto 2
      StackMap locals:
      StackMap stack:
         1: aload 5 /* env */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.getNullableAnnotation:()Lorg/eclipse/jdt/internal/compiler/lookup/AnnotationBinding;
      StackMap locals:
      StackMap stack: org.eclipse.jdt.internal.compiler.lookup.AnnotationBinding
         2: astore 6 /* annotationBinding */
        start local 6 // org.eclipse.jdt.internal.compiler.lookup.AnnotationBinding annotationBinding
         3: .line 534
            aload 1 /* method */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iload 2 /* paramIdx */
            aload 5 /* env */
            aload 1 /* method */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iload 2 /* paramIdx */
            aaload
            iconst_1
            anewarray org.eclipse.jdt.internal.compiler.lookup.AnnotationBinding
            dup
            iconst_0
            aload 6 /* annotationBinding */
            aastore
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment.createAnnotatedType:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;[Lorg/eclipse/jdt/internal/compiler/lookup/AnnotationBinding;)Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aastore
         4: .line 535
            aload 3 /* currentArgument */
            ifnull 6
         5: .line 536
            aload 3 /* currentArgument */
            getfield org.eclipse.jdt.internal.compiler.ast.Argument.binding:Lorg/eclipse/jdt/internal/compiler/lookup/LocalVariableBinding;
            aload 1 /* method */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            iload 2 /* paramIdx */
            aaload
            putfield org.eclipse.jdt.internal.compiler.lookup.LocalVariableBinding.type:Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
         6: .line 538
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.AnnotationBinding
      StackMap stack:
            return
        end local 6 // org.eclipse.jdt.internal.compiler.lookup.AnnotationBinding annotationBinding
        end local 5 // org.eclipse.jdt.internal.compiler.lookup.LookupEnvironment env
        end local 4 // java.lang.Boolean nonNullNess
        end local 3 // org.eclipse.jdt.internal.compiler.ast.Argument currentArgument
        end local 2 // int paramIdx
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding method
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier this
      LocalVariableTable:
        Start  End  Slot               Name  Signature
            0    7     0               this  Lorg/eclipse/jdt/internal/compiler/lookup/ImplicitNullAnnotationVerifier;
            0    7     1             method  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            0    7     2           paramIdx  I
            0    7     3    currentArgument  Lorg/eclipse/jdt/internal/compiler/ast/Argument;
            0    7     4        nonNullNess  Ljava/lang/Boolean;
            0    7     5                env  Lorg/eclipse/jdt/internal/compiler/lookup/LookupEnvironment;
            3    7     6  annotationBinding  Lorg/eclipse/jdt/internal/compiler/lookup/AnnotationBinding;
    MethodParameters:
                 Name  Flags
      method           
      paramIdx         
      currentArgument  
      nonNullNess      
      env              

  static boolean areParametersEqual(org.eclipse.jdt.internal.compiler.lookup.MethodBinding, org.eclipse.jdt.internal.compiler.lookup.MethodBinding);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;)Z
    flags: (0x0008) ACC_STATIC
    Code:
      stack=3, locals=7, args_size=2
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding one
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding two
         0: .line 543
            aload 0 /* one */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 2 /* oneArgs */
        start local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] oneArgs
         1: .line 544
            aload 1 /* two */
            getfield org.eclipse.jdt.internal.compiler.lookup.MethodBinding.parameters:[Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            astore 3 /* twoArgs */
        start local 3 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] twoArgs
         2: .line 545
            aload 2 /* oneArgs */
            aload 3 /* twoArgs */
            if_acmpne 3
            iconst_1
            ireturn
         3: .line 547
      StackMap locals: org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] org.eclipse.jdt.internal.compiler.lookup.TypeBinding[]
      StackMap stack:
            aload 2 /* oneArgs */
            arraylength
            istore 4 /* length */
        start local 4 // int length
         4: .line 548
            iload 4 /* length */
            aload 3 /* twoArgs */
            arraylength
            if_icmpeq 5
            iconst_0
            ireturn
         5: .line 554
      StackMap locals: int
      StackMap stack:
            iconst_0
            istore 5 /* i */
        start local 5 // int i
         6: goto 21
         7: .line 555
      StackMap locals: int
      StackMap stack:
            aload 2 /* oneArgs */
            iload 5 /* i */
            aaload
            aload 3 /* twoArgs */
            iload 5 /* i */
            aaload
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.areTypesEqual:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifne 20
         8: .line 556
            aload 2 /* oneArgs */
            iload 5 /* i */
            aaload
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isRawType:()Z
            ifeq 19
         9: .line 557
            aload 2 /* oneArgs */
            iload 5 /* i */
            aaload
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.dimensions:()I
            aload 3 /* twoArgs */
            iload 5 /* i */
            aaload
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.dimensions:()I
            if_icmpne 19
            aload 2 /* oneArgs */
            iload 5 /* i */
            aaload
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 3 /* twoArgs */
            iload 5 /* i */
            aaload
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isEquivalentTo:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifeq 19
        10: .line 559
            aload 0 /* one */
            getfield 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
        11: .line 560
            iconst_0
            ireturn
        12: .line 563
      StackMap locals:
      StackMap stack:
            iconst_0
            istore 6 /* j */
        start local 6 // int j
        13: goto 17
        14: .line 564
      StackMap locals: int
      StackMap stack:
            aload 2 /* oneArgs */
            iload 6 /* j */
            aaload
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isParameterizedTypeWithActualArguments:()Z
            ifeq 16
        15: .line 565
            iconst_0
            ireturn
        16: .line 563
      StackMap locals:
      StackMap stack:
            iinc 6 /* j */ 1
      StackMap locals:
      StackMap stack:
        17: iload 6 /* j */
            iload 5 /* i */
            if_icmplt 14
        end local 6 // int j
        18: .line 567
            goto 22
        19: .line 570
      StackMap locals:
      StackMap stack:
            iconst_0
            ireturn
        20: .line 554
      StackMap locals:
      StackMap stack:
            iinc 5 /* i */ 1
      StackMap locals:
      StackMap stack:
        21: iload 5 /* i */
            iload 4 /* length */
            if_icmplt 7
        22: .line 574
      StackMap locals:
      StackMap stack:
            iinc 5 /* i */ 1
            goto 31
        23: .line 575
      StackMap locals:
      StackMap stack:
            aload 2 /* oneArgs */
            iload 5 /* i */
            aaload
            aload 3 /* twoArgs */
            iload 5 /* i */
            aaload
            invokestatic org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier.areTypesEqual:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifne 28
        24: .line 576
            aload 2 /* oneArgs */
            iload 5 /* i */
            aaload
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isRawType:()Z
            ifeq 27
        25: .line 577
            aload 2 /* oneArgs */
            iload 5 /* i */
            aaload
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.dimensions:()I
            aload 3 /* twoArgs */
            iload 5 /* i */
            aaload
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.dimensions:()I
            if_icmpne 27
            aload 2 /* oneArgs */
            iload 5 /* i */
            aaload
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 3 /* twoArgs */
            iload 5 /* i */
            aaload
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isEquivalentTo:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifeq 27
        26: .line 578
            goto 30
        27: .line 579
      StackMap locals:
      StackMap stack:
            iconst_0
            ireturn
        28: .line 580
      StackMap locals:
      StackMap stack:
            aload 2 /* oneArgs */
            iload 5 /* i */
            aaload
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.leafComponentType:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isParameterizedTypeWithActualArguments:()Z
            ifeq 30
        29: .line 581
            iconst_0
            ireturn
        30: .line 574
      StackMap locals:
      StackMap stack:
            iinc 5 /* i */ 1
      StackMap locals:
      StackMap stack:
        31: iload 5 /* i */
            iload 4 /* length */
            if_icmplt 23
        32: .line 584
            iconst_1
            ireturn
        end local 5 // int i
        end local 4 // int length
        end local 3 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] twoArgs
        end local 2 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] oneArgs
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding two
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.MethodBinding one
      LocalVariableTable:
        Start  End  Slot     Name  Signature
            0   33     0      one  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            0   33     1      two  Lorg/eclipse/jdt/internal/compiler/lookup/MethodBinding;
            1   33     2  oneArgs  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            2   33     3  twoArgs  [Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            4   33     4   length  I
            6   33     5        i  I
           13   18     6        j  I
    MethodParameters:
      Name  Flags
      one   
      two   

  static boolean areTypesEqual(org.eclipse.jdt.internal.compiler.lookup.TypeBinding, org.eclipse.jdt.internal.compiler.lookup.TypeBinding);
    descriptor: (Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
    flags: (0x0008) ACC_STATIC
    Code:
      stack=2, locals=2, args_size=2
        start local 0 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding one
        start local 1 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding two
         0: .line 587
            aload 0 /* one */
            aload 1 /* two */
            invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifeq 1
            iconst_1
            ireturn
         1: .line 589
      StackMap locals:
      StackMap stack:
            aload 0 /* one */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
            lookupswitch { // 3
                    4: 2
                  260: 6
                 1028: 6
              default: 9
          }
         2: .line 591
      StackMap locals:
      StackMap stack:
            aload 1 /* two */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
            lookupswitch { // 2
                  260: 3
                 1028: 3
              default: 5
          }
         3: .line 594
      StackMap locals:
      StackMap stack:
            aload 0 /* one */
            aload 1 /* two */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.erasure:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifeq 9
         4: .line 595
            iconst_1
            ireturn
         5: .line 597
      StackMap locals:
      StackMap stack:
            goto 9
         6: .line 600
      StackMap locals:
      StackMap stack:
            aload 1 /* two */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.kind:()I
            tableswitch { // 4 - 4
                    4: 7
              default: 9
          }
         7: .line 602
      StackMap locals:
      StackMap stack:
            aload 0 /* one */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.erasure:()Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            aload 1 /* two */
            invokestatic org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifeq 9
         8: .line 603
            iconst_1
            ireturn
         9: .line 608
      StackMap locals:
      StackMap stack:
            aload 0 /* one */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isParameterizedType:()Z
            ifeq 12
            aload 1 /* two */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isParameterizedType:()Z
            ifeq 12
        10: .line 609
            aload 0 /* one */
            aload 1 /* two */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isEquivalentTo:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifeq 11
            aload 1 /* two */
            aload 0 /* one */
            invokevirtual org.eclipse.jdt.internal.compiler.lookup.TypeBinding.isEquivalentTo:(Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;)Z
            ifeq 11
            iconst_1
            ireturn
      StackMap locals:
      StackMap stack:
        11: iconst_0
            ireturn
        12: .line 616
      StackMap locals:
      StackMap stack:
            iconst_0
            ireturn
        end local 1 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding two
        end local 0 // org.eclipse.jdt.internal.compiler.lookup.TypeBinding one
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0   13     0   one  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
            0   13     1   two  Lorg/eclipse/jdt/internal/compiler/lookup/TypeBinding;
    MethodParameters:
      Name  Flags
      one   
      two   
}
SourceFile: "ImplicitNullAnnotationVerifier.java"
NestMembers:
  org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo
InnerClasses:
  public CheckMode = org.eclipse.jdt.internal.compiler.ast.NullAnnotationMatching$CheckMode of org.eclipse.jdt.internal.compiler.ast.NullAnnotationMatching
  InheritedNonNullnessInfo = org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier$InheritedNonNullnessInfo of org.eclipse.jdt.internal.compiler.lookup.ImplicitNullAnnotationVerifier