6655var comp = CreateCompilation([source, NotNullAttributeDefinition]); 6679var comp = CreateCompilation([source, NotNullAttributeDefinition]); 6698var comp = CreateCompilation([source, NotNullAttributeDefinition, DisallowNullAttributeDefinition]); 6720var comp = CreateCompilation([source, NotNullAttributeDefinition]); 6739var comp = CreateCompilation([source, NotNullAttributeDefinition]); 6761var comp = CreateCompilation([source, NotNullAttributeDefinition]); 6784var comp = CreateCompilation([source, NotNullAttributeDefinition]); 6803var comp = CreateCompilation([source, NotNullAttributeDefinition]); 6828var comp = CreateCompilation([source, NotNullAttributeDefinition]); 6853var comp = CreateCompilation([source, NotNullAttributeDefinition]); 7338var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }); 7380var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 11239var comp = CreateCompilation([source, NotNullAttributeDefinition]); 11265var comp = CreateCompilation([source, NotNullAttributeDefinition]); 11291var comp = CreateCompilation([source, NotNullAttributeDefinition]); 11919var comp0 = CreateCompilation([source, NotNullAttributeDefinition]);

2603var comp = CreateCompilation([source, NotNullAttributeDefinition]);

312var comp = CreateCompilation(new[] { src, NotNullAttributeDefinition }); 361var comp = CreateCompilation(new[] { src, NotNullAttributeDefinition }); 397var comp = CreateCompilation(new[] { src, NotNullAttributeDefinition }); 9501var comp = CreateCompilation(new[] { src, NotNullAttributeDefinition }); 25668var comp = CreateCompilation(new[] { source, IsExternalInitTypeDefinition, NotNullAttributeDefinition }, parseOptions: TestOptions.Regular9);

4200new[] { source, MaybeNullAttributeDefinition, NotNullAttributeDefinition, NotNullIfNotNullAttributeDefinition, MemberNotNullAttributeDefinition, MemberNotNullWhenAttributeDefinition }, 4232var comp = CreateCompilation(new[] { source, MaybeNullAttributeDefinition, NotNullAttributeDefinition }, parseOptions: TestOptions.RegularPreview); 4279var comp = CreateCompilation(new[] { source, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 4353var comp = CreateCompilation(new[] { source, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 4400var comp = CreateCompilation(new[] { source, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 4633var comp = CreateCompilation(new[] { source, NotNullIfNotNullAttributeDefinition, NotNullAttributeDefinition });

20671", NotNullAttributeDefinition }, options: WithNullableEnable()); 20717", NotNullAttributeDefinition }, options: WithNullableEnable()); 29066", NotNullAttributeDefinition }); 29112", NotNullAttributeDefinition }); 29500var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 29530var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 29559var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 29901", AllowNullAttributeDefinition, NotNullAttributeDefinition }); 30295var comp = CreateNullableCompilation(new[] { MaybeNullAttributeDefinition, NotNullAttributeDefinition, source }); 32790var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 32822var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, MemberNotNullAttributeDefinition, DisallowNullAttributeDefinition }); 32863var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, MemberNotNullAttributeDefinition, DisallowNullAttributeDefinition }); 32935var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, DisallowNullAttributeDefinition }); 33006var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, DisallowNullAttributeDefinition }); 33098var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 33140var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 34652var comp = CreateNullableCompilation(new[] { AllowNullAttributeDefinition, DisallowNullAttributeDefinition, NotNullAttributeDefinition, NotNullIfNotNullAttributeDefinition, source }); 34732var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, DisallowNullAttributeDefinition, source }); 34767", NotNullAttributeDefinition }, options: WithNullableEnable()); 34804", NotNullAttributeDefinition }, options: WithNullableEnable()); 36364", NotNullAttributeDefinition }, options: WithNullableEnable()); 36385", NotNullAttributeDefinition }, options: WithNullableEnable()); 36647" + NotNullAttributeDefinition); 38633", NotNullWhenAttributeDefinition, NotNullAttributeDefinition }, options: WithNullableEnable()); 38662", NotNullWhenAttributeDefinition, NotNullAttributeDefinition }, options: WithNullableEnable()); 38683", NotNullAttributeDefinition }, options: WithNullableEnable()); 38704", NotNullAttributeDefinition }, options: WithNullableEnable()); 38725", NotNullAttributeDefinition }, options: WithNullableEnable()); 38797", NotNullAttributeDefinition }, options: WithNullableEnable()); 38821", NotNullAttributeDefinition }, options: WithNullableEnable()); 38844", NotNullAttributeDefinition }, options: WithNullableEnable()); 38867", NotNullAttributeDefinition }, options: WithNullableEnable()); 38886" + NotNullAttributeDefinition); 38905", NotNullAttributeDefinition }, options: WithNullableEnable()); 38927", NotNullAttributeDefinition }, options: WithNullableEnable()); 38958", NotNullAttributeDefinition }, options: WithNullableEnable()); 38993", NotNullAttributeDefinition }, options: WithNullableEnable()); 39019", NotNullAttributeDefinition }, options: WithNullableEnable()); 39045", NotNullAttributeDefinition }, options: WithNullableEnable()); 39223", NotNullAttributeDefinition }, options: WithNullableEnable()); 39242" + NotNullAttributeDefinition); 39265", NotNullAttributeDefinition }, options: WithNullableEnable()); 39292", NotNullAttributeDefinition }, options: WithNullableEnable()); 39315", NotNullAttributeDefinition }, options: WithNullableEnable()); 39340", NotNullAttributeDefinition }, options: WithNullableEnable()); 39367", NotNullAttributeDefinition }, options: WithNullableEnable()); 39390", NotNullAttributeDefinition }, options: WithNullableEnable()); 39409", NotNullAttributeDefinition }, options: WithNullableEnable()); 39471", NotNullAttributeDefinition }, options: WithNullableEnable()); 39497", NotNullAttributeDefinition }, options: WithNullableEnable()); 39516", NotNullAttributeDefinition }, options: WithNullableEnable()); 39541", NotNullAttributeDefinition }, options: WithNullableEnable()); 39560", NotNullAttributeDefinition }, options: WithNullableEnable()); 39614new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39685new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39743new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39809var comp = CreateCompilation(new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 39887new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39925new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39971new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 40023new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 40505var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 40526var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 41853var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition }); 42038var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 42198var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }); 42250var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }); 42604var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, NotNullWhenAttributeDefinition, source.Replace("TYPE", type) }); 42690var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, NotNullWhenAttributeDefinition, source.Replace("CONSTRAINT", constraint) }); 42749var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 42778var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 42819var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, DoesNotReturnIfAttributeDefinition }); 42869var comp = CreateNullableCompilation(new[] { MaybeNullWhenAttributeDefinition, NotNullAttributeDefinition, NotNullWhenAttributeDefinition, source.Replace("TYPE", type) }); 43267var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 43371var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullWhenAttributeDefinition, source }); 44904var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }, 44908var comp2 = CreateNullableCompilation(new[] { source, lib_cs, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 44945var lib = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition, lib_cs }); 44971var comp2 = CreateNullableCompilation(new[] { source, lib_cs, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 45763var comp = CreateNullableCompilation(new[] { MaybeNullAttributeDefinition, NotNullAttributeDefinition, source }); 46122var comp = CreateCompilation(new[] { MaybeNullAttributeDefinition, NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47327var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47403var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47449var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47468var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47482var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source0 }, options: WithNullableEnable()); 47526var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source0 }); 47567var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source0 }); 47619var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source }); 47662var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47686var lib = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 47715var comp2 = CreateNullableCompilation(new[] { source, lib_cs, NotNullAttributeDefinition }); 47752var comp = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 47802var comp = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 47825var comp = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 47845var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 47873var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 47911var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 47941var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 47971var lib = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 47998var comp2 = CreateNullableCompilation(new[] { source, lib_cs, NotNullAttributeDefinition }); 48052var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 48082var lib = CreateNullableCompilation(new[] { NotNullAttributeDefinition, lib_cs }); 48108var comp2 = CreateNullableCompilation(new[] { source, lib_cs, NotNullAttributeDefinition }); 48147var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 48173var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 48261var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48311var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48356var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48396var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source }); 48433var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source }); 48498var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source }); 48655var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48693var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48731var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48756var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullWhenAttributeDefinition, source }); 48781var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullWhenAttributeDefinition, source }); 48829var comp = CreateCompilation(new[] { MaybeNullAttributeDefinition, NotNullAttributeDefinition, source }, options: WithNullableEnable(), parseOptions: TestOptions.Regular8); 54073CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }).VerifyDiagnostics( 68759var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 68961var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 68995var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 69026var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 69054var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 70225var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition }); 72372", MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 91798var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }, options: WithNullableEnable()); 92007var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 92244var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 92511var comp = CreateCompilationWithTasksExtensions(new[] { source, s_IAsyncEnumerable, NotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 92751var comp = CreateCompilationWithTasksExtensions(new[] { source, s_IAsyncEnumerable, NotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 137080var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }, options: WithNullableEnable()); 140618var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 149835var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, NotNullAttributeDefinition }); 149900var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 149948var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 149985var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 150030var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 155145var comp = CreateCompilation(new[] { sourceA, DisallowNullAttributeDefinition, NotNullAttributeDefinition }); 155270comp = CreateCompilation(new[] { sourceB, DisallowNullAttributeDefinition, NotNullAttributeDefinition }, references: new[] { refA }); 155331comp = CreateCompilation(new[] { sourceB, DisallowNullAttributeDefinition, NotNullAttributeDefinition }, references: new[] { refA }); 159115var comp = CreateCompilation(new[] { source, MaybeNullAttributeDefinition, NotNullAttributeDefinition, DoesNotReturnAttributeDefinition, DoesNotReturnIfAttributeDefinition });

287var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source });

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