6541var comp = CreateCompilation([source, NotNullAttributeDefinition]); 6565var comp = CreateCompilation([source, NotNullAttributeDefinition]); 6584var comp = CreateCompilation([source, NotNullAttributeDefinition, DisallowNullAttributeDefinition]); 6606var comp = CreateCompilation([source, NotNullAttributeDefinition]); 6625var comp = CreateCompilation([source, NotNullAttributeDefinition]); 6647var comp = CreateCompilation([source, NotNullAttributeDefinition]); 6670var comp = CreateCompilation([source, NotNullAttributeDefinition]); 6689var comp = CreateCompilation([source, NotNullAttributeDefinition]); 6714var comp = CreateCompilation([source, NotNullAttributeDefinition]); 6739var comp = CreateCompilation([source, NotNullAttributeDefinition]); 7227var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }); 7269var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition });

310var comp = CreateCompilation(new[] { src, NotNullAttributeDefinition }); 356var comp = CreateCompilation(new[] { src, NotNullAttributeDefinition }); 392var comp = CreateCompilation(new[] { src, NotNullAttributeDefinition }); 9441var comp = CreateCompilation(new[] { src, NotNullAttributeDefinition }); 25608var comp = CreateCompilation(new[] { source, IsExternalInitTypeDefinition, NotNullAttributeDefinition }, parseOptions: TestOptions.Regular9);

4206new[] { source, MaybeNullAttributeDefinition, NotNullAttributeDefinition, NotNullIfNotNullAttributeDefinition, MemberNotNullAttributeDefinition, MemberNotNullWhenAttributeDefinition }, 4238var comp = CreateCompilation(new[] { source, MaybeNullAttributeDefinition, NotNullAttributeDefinition }, parseOptions: TestOptions.RegularPreview); 4285var comp = CreateCompilation(new[] { source, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 4359var comp = CreateCompilation(new[] { source, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 4406var comp = CreateCompilation(new[] { source, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 4639var comp = CreateCompilation(new[] { source, NotNullIfNotNullAttributeDefinition, NotNullAttributeDefinition });

20667", NotNullAttributeDefinition }, options: WithNullableEnable()); 20713", NotNullAttributeDefinition }, options: WithNullableEnable()); 29037", NotNullAttributeDefinition }); 29083", NotNullAttributeDefinition }); 29471var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 29501var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 29530var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 29872", AllowNullAttributeDefinition, NotNullAttributeDefinition }); 30266var comp = CreateNullableCompilation(new[] { MaybeNullAttributeDefinition, NotNullAttributeDefinition, source }); 32761var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 32793var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, MemberNotNullAttributeDefinition, DisallowNullAttributeDefinition }); 32834var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, MemberNotNullAttributeDefinition, DisallowNullAttributeDefinition }); 32906var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, DisallowNullAttributeDefinition }); 32977var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, DisallowNullAttributeDefinition }); 33069var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 33111var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 34623var comp = CreateNullableCompilation(new[] { AllowNullAttributeDefinition, DisallowNullAttributeDefinition, NotNullAttributeDefinition, NotNullIfNotNullAttributeDefinition, source }); 34703var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, DisallowNullAttributeDefinition, source }); 34738", NotNullAttributeDefinition }, options: WithNullableEnable()); 34775", NotNullAttributeDefinition }, options: WithNullableEnable()); 36335", NotNullAttributeDefinition }, options: WithNullableEnable()); 36356", NotNullAttributeDefinition }, options: WithNullableEnable()); 36618" + NotNullAttributeDefinition); 38604", NotNullWhenAttributeDefinition, NotNullAttributeDefinition }, options: WithNullableEnable()); 38633", NotNullWhenAttributeDefinition, NotNullAttributeDefinition }, options: WithNullableEnable()); 38654", NotNullAttributeDefinition }, options: WithNullableEnable()); 38675", NotNullAttributeDefinition }, options: WithNullableEnable()); 38696", NotNullAttributeDefinition }, options: WithNullableEnable()); 38768", NotNullAttributeDefinition }, options: WithNullableEnable()); 38792", NotNullAttributeDefinition }, options: WithNullableEnable()); 38815", NotNullAttributeDefinition }, options: WithNullableEnable()); 38838", NotNullAttributeDefinition }, options: WithNullableEnable()); 38857" + NotNullAttributeDefinition); 38876", NotNullAttributeDefinition }, options: WithNullableEnable()); 38898", NotNullAttributeDefinition }, options: WithNullableEnable()); 38929", NotNullAttributeDefinition }, options: WithNullableEnable()); 38964", NotNullAttributeDefinition }, options: WithNullableEnable()); 38990", NotNullAttributeDefinition }, options: WithNullableEnable()); 39016", NotNullAttributeDefinition }, options: WithNullableEnable()); 39194", NotNullAttributeDefinition }, options: WithNullableEnable()); 39213" + NotNullAttributeDefinition); 39236", NotNullAttributeDefinition }, options: WithNullableEnable()); 39263", NotNullAttributeDefinition }, options: WithNullableEnable()); 39286", NotNullAttributeDefinition }, options: WithNullableEnable()); 39311", NotNullAttributeDefinition }, options: WithNullableEnable()); 39338", NotNullAttributeDefinition }, options: WithNullableEnable()); 39361", NotNullAttributeDefinition }, options: WithNullableEnable()); 39380", NotNullAttributeDefinition }, options: WithNullableEnable()); 39442", NotNullAttributeDefinition }, options: WithNullableEnable()); 39468", NotNullAttributeDefinition }, options: WithNullableEnable()); 39487", NotNullAttributeDefinition }, options: WithNullableEnable()); 39512", NotNullAttributeDefinition }, options: WithNullableEnable()); 39531", NotNullAttributeDefinition }, options: WithNullableEnable()); 39585new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39656new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39714new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39780var comp = CreateCompilation(new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 39858new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39896new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39942new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39994new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 40476var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 40497var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 41824var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition }); 42009var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 42169var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }); 42221var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }); 42575var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, NotNullWhenAttributeDefinition, source.Replace("TYPE", type) }); 42661var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, NotNullWhenAttributeDefinition, source.Replace("CONSTRAINT", constraint) }); 42720var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 42749var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 42790var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, DoesNotReturnIfAttributeDefinition }); 42840var comp = CreateNullableCompilation(new[] { MaybeNullWhenAttributeDefinition, NotNullAttributeDefinition, NotNullWhenAttributeDefinition, source.Replace("TYPE", type) }); 43238var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 43342var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullWhenAttributeDefinition, source }); 44875var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }, 44879var comp2 = CreateNullableCompilation(new[] { source, lib_cs, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 44916var lib = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition, lib_cs }); 44942var comp2 = CreateNullableCompilation(new[] { source, lib_cs, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 45734var comp = CreateNullableCompilation(new[] { MaybeNullAttributeDefinition, NotNullAttributeDefinition, source }); 46093var comp = CreateCompilation(new[] { MaybeNullAttributeDefinition, NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47298var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47374var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47420var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47439var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47453var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source0 }, options: WithNullableEnable()); 47497var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source0 }); 47538var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source0 }); 47590var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source }); 47633var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47657var lib = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 47686var comp2 = CreateNullableCompilation(new[] { source, lib_cs, NotNullAttributeDefinition }); 47723var comp = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 47773var comp = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 47796var comp = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 47816var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 47844var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 47882var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 47912var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 47942var lib = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 47969var comp2 = CreateNullableCompilation(new[] { source, lib_cs, NotNullAttributeDefinition }); 48023var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 48053var lib = CreateNullableCompilation(new[] { NotNullAttributeDefinition, lib_cs }); 48079var comp2 = CreateNullableCompilation(new[] { source, lib_cs, NotNullAttributeDefinition }); 48118var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 48144var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 48232var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48282var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48327var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48367var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source }); 48404var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source }); 48469var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source }); 48626var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48664var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48702var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48727var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullWhenAttributeDefinition, source }); 48752var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullWhenAttributeDefinition, source }); 48800var comp = CreateCompilation(new[] { MaybeNullAttributeDefinition, NotNullAttributeDefinition, source }, options: WithNullableEnable(), parseOptions: TestOptions.Regular8); 54032CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }).VerifyDiagnostics( 68653var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 68855var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 68889var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 68920var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 68948var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 70119var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition }); 72266", MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 91672var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }, options: WithNullableEnable()); 91881var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 92118var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 92385var comp = CreateCompilationWithTasksExtensions(new[] { source, s_IAsyncEnumerable, NotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 92625var comp = CreateCompilationWithTasksExtensions(new[] { source, s_IAsyncEnumerable, NotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 136957var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }, options: WithNullableEnable()); 140495var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 149652var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, NotNullAttributeDefinition }); 149717var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 149765var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 149802var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 149847var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 154962var comp = CreateCompilation(new[] { sourceA, DisallowNullAttributeDefinition, NotNullAttributeDefinition }); 155087comp = CreateCompilation(new[] { sourceB, DisallowNullAttributeDefinition, NotNullAttributeDefinition }, references: new[] { refA }); 155148comp = CreateCompilation(new[] { sourceB, DisallowNullAttributeDefinition, NotNullAttributeDefinition }, references: new[] { refA }); 158932var 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]);