6698var comp = CreateCompilation([source, NotNullAttributeDefinition, DisallowNullAttributeDefinition]); 6872var comp = CreateCompilation([source, DisallowNullAttributeDefinition]); 6895var comp = CreateCompilation([source, DisallowNullAttributeDefinition]); 7026var comp = CreateCompilation([source, DisallowNullAttributeDefinition]); 7050var comp = CreateCompilation([source, DisallowNullAttributeDefinition]); 11693var comp0 = CreateCompilation([source, DisallowNullAttributeDefinition]);

3630CreateCompilation([source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition]).VerifyDiagnostics(

4480var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition }); 4527var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition }); 4680var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition }); 4719var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition }, parseOptions: TestOptions.RegularPreview);

20792", DisallowNullAttributeDefinition }, options: WithNullableEnable()); 20834", DisallowNullAttributeDefinition }, options: WithNullableEnable()); 32794var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, MemberNotNullAttributeDefinition, DisallowNullAttributeDefinition }); 32835var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, MemberNotNullAttributeDefinition, DisallowNullAttributeDefinition }); 32907var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, DisallowNullAttributeDefinition }); 32978var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, DisallowNullAttributeDefinition }); 34478var comp = CreateNullableCompilation(new[] { AllowNullAttributeDefinition, DisallowNullAttributeDefinition, source }); 34624var comp = CreateNullableCompilation(new[] { AllowNullAttributeDefinition, DisallowNullAttributeDefinition, NotNullAttributeDefinition, NotNullIfNotNullAttributeDefinition, source }); 34704var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, DisallowNullAttributeDefinition, source }); 39586new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39657new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39715new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39781var comp = CreateCompilation(new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 39859new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39897new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39943new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39995new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 40607var comp = CreateNullableCompilation(new[] { source, DisallowNullAttributeDefinition }); 40640var comp = CreateNullableCompilation(new[] { source, DisallowNullAttributeDefinition }); 41013var comp = CreateNullableCompilation(new[] { lib_cs, AllowNullAttributeDefinition, DisallowNullAttributeDefinition }); 41596var comp = CreateNullableCompilation(new[] { source, DisallowNullAttributeDefinition }); 41621var comp = CreateNullableCompilation(new[] { source, DisallowNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 41726var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition }); 41856var comp = CreateNullableCompilation(new[] { source, DisallowNullAttributeDefinition }); 42262var comp = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, source }); 43778var comp = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, source }); 43804var comp = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, source }); 43888var comp = CreateCompilation(new[] { DisallowNullAttributeDefinition, source }, options: WithNullableEnable()); 43944var comp = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, source }); 43967var comp = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, source }); 43990var comp = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, source }); 44018var comp = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, source }); 44077var comp = CreateCompilation(new[] { DisallowNullAttributeDefinition, AllowNullAttributeDefinition, source }, options: WithNullableEnable()); 44169var comp = CreateCompilation(new[] { DisallowNullAttributeDefinition, source }, options: WithNullableEnable()); 44229var comp = CreateCompilation(new[] { DisallowNullAttributeDefinition, source }, options: WithNullableEnable()); 44269var comp = CreateCompilation(new[] { DisallowNullAttributeDefinition, source }, options: WithNullableEnable()); 44288var comp = CreateCompilation(new[] { DisallowNullAttributeDefinition, source0 }, options: WithNullableEnable()); 44331var lib = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, lib_cs }); 44355var comp2 = CreateNullableCompilation(new[] { source, lib_cs, DisallowNullAttributeDefinition }); 44369var comp = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, source0 }); 44419var comp = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, source }); 44482var comp = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, source }); 44524var lib = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, lib_cs }); 44600var comp2 = CreateNullableCompilation(new[] { source, lib_cs, DisallowNullAttributeDefinition }); 44698var comp = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, source }); 44729var comp = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, source }); 44777var lib = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, lib_cs }); 44880var comp2 = CreateNullableCompilation(new[] { source, lib_cs, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 44917var lib = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition, lib_cs }); 44943var comp2 = CreateNullableCompilation(new[] { source, lib_cs, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 44963var comp = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, source }); 45012var comp = CreateNullableCompilation(new[] { source, DisallowNullAttributeDefinition }); 45047var comp = CreateNullableCompilation(new[] { source, DisallowNullAttributeDefinition }); 45089var comp = CreateNullableCompilation(new[] { source, DisallowNullAttributeDefinition }); 45134var comp = CreateNullableCompilation(new[] { source, DisallowNullAttributeDefinition }); 45179var comp = CreateNullableCompilation(new[] { source, DisallowNullAttributeDefinition }); 45214var comp = CreateNullableCompilation(new[] { source, DisallowNullAttributeDefinition }); 45307var comp = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, source }); 45352var comp = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, source }); 45373var comp = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, source }); 45395var comp = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, source }); 45427var lib = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, lib_cs }); 45507var comp2 = CreateNullableCompilation(new[] { source, lib_cs, DisallowNullAttributeDefinition }); 45522var lib = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, lib_cs }); 45543var comp2 = CreateNullableCompilation(new[] { source, lib_cs, DisallowNullAttributeDefinition }); 45558var lib = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, lib_cs }); 45579var comp2 = CreateNullableCompilation(new[] { source, lib_cs, DisallowNullAttributeDefinition }); 45598var lib = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, lib_cs }); 45613var comp2 = CreateNullableCompilation(new[] { source, lib_cs, DisallowNullAttributeDefinition }); 45632var lib = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, lib_cs }); 45648var comp2 = CreateNullableCompilation(new[] { source, lib_cs, DisallowNullAttributeDefinition }); 45667var lib = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, lib_cs }); 45682var comp2 = CreateNullableCompilation(new[] { source, lib_cs, DisallowNullAttributeDefinition }); 48520var comp = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, source }); 48552var comp = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, source }); 48844var comp = CreateCompilation(new[] { AllowNullAttributeDefinition, DisallowNullAttributeDefinition, source }, options: WithNullableEnable()); 51533CreateNullableCompilation(new[] { source, DisallowNullAttributeDefinition }).VerifyDiagnostics( 53911CreateNullableCompilation(new[] { source, DisallowNullAttributeDefinition }).VerifyDiagnostics( 54178CreateNullableCompilation(new[] { source, DisallowNullAttributeDefinition }).VerifyDiagnostics( 70094var comp = CreateNullableCompilation(new[] { source, MaybeNullAttributeDefinition, DisallowNullAttributeDefinition }); 70249var comp = CreateNullableCompilation(new[] { source, MaybeNullAttributeDefinition, DisallowNullAttributeDefinition }); 70289var comp = CreateNullableCompilation(new[] { source, MaybeNullAttributeDefinition, DisallowNullAttributeDefinition }); 70774var comp = CreateNullableCompilation(new[] { source, NotNullIfNotNullAttributeDefinition, AllowNullAttributeDefinition, DisallowNullAttributeDefinition }); 70821var comp = CreateNullableCompilation(new[] { source, NotNullIfNotNullAttributeDefinition, AllowNullAttributeDefinition, DisallowNullAttributeDefinition }); 72279", AllowNullAttributeDefinition, DisallowNullAttributeDefinition }); 72896var comp = CreateCompilation(new[] { source, DisallowNullAttributeDefinition }, options: WithNullableEnable()); 82081var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition }, options: WithNullableEnable()); 82358CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition }, options: WithNullableEnable()).VerifyDiagnostics( 92032var comp = CreateCompilation(new[] { source, DisallowNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 92536var comp = CreateCompilationWithTasksExtensions(new[] { source, s_IAsyncEnumerable, DisallowNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 149773var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, NotNullAttributeDefinition }); 149838var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 149886var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 149923var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 149968var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 155083var comp = CreateCompilation(new[] { sourceA, DisallowNullAttributeDefinition, NotNullAttributeDefinition }); 155208comp = CreateCompilation(new[] { sourceB, DisallowNullAttributeDefinition, NotNullAttributeDefinition }, references: new[] { refA }); 155269comp = CreateCompilation(new[] { sourceB, DisallowNullAttributeDefinition, NotNullAttributeDefinition }, references: new[] { refA }); 159125var comp = CreateCompilation(new[] { source, DisallowNullAttributeDefinition }); 159185var comp = CreateCompilation(new[] { source, DisallowNullAttributeDefinition });

6113var comp = CreateCompilationWithRequiredMembers([code, NotNullAttributeDefinition, DisallowNullAttributeDefinition]); 6191var comp = CreateCompilationWithRequiredMembers([code, NotNullAttributeDefinition, DisallowNullAttributeDefinition]);