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);

4205new[] { source, MaybeNullAttributeDefinition, NotNullAttributeDefinition, NotNullIfNotNullAttributeDefinition, MemberNotNullAttributeDefinition, MemberNotNullWhenAttributeDefinition }, 4237var comp = CreateCompilation(new[] { source, MaybeNullAttributeDefinition, NotNullAttributeDefinition }, parseOptions: TestOptions.RegularPreview); 4284var comp = CreateCompilation(new[] { source, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 4358var comp = CreateCompilation(new[] { source, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 4405var comp = CreateCompilation(new[] { source, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 4638var comp = CreateCompilation(new[] { source, NotNullIfNotNullAttributeDefinition, NotNullAttributeDefinition });

20667", NotNullAttributeDefinition }, options: WithNullableEnable()); 20713", NotNullAttributeDefinition }, options: WithNullableEnable()); 29041", NotNullAttributeDefinition }); 29087", NotNullAttributeDefinition }); 29475var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 29505var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 29534var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 29876", AllowNullAttributeDefinition, NotNullAttributeDefinition }); 30270var comp = CreateNullableCompilation(new[] { MaybeNullAttributeDefinition, NotNullAttributeDefinition, source }); 32765var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 32797var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, MemberNotNullAttributeDefinition, DisallowNullAttributeDefinition }); 32838var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, MemberNotNullAttributeDefinition, DisallowNullAttributeDefinition }); 32910var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, DisallowNullAttributeDefinition }); 32981var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, DisallowNullAttributeDefinition }); 33073var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 33115var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 34627var comp = CreateNullableCompilation(new[] { AllowNullAttributeDefinition, DisallowNullAttributeDefinition, NotNullAttributeDefinition, NotNullIfNotNullAttributeDefinition, source }); 34707var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, DisallowNullAttributeDefinition, source }); 34742", NotNullAttributeDefinition }, options: WithNullableEnable()); 34779", NotNullAttributeDefinition }, options: WithNullableEnable()); 36339", NotNullAttributeDefinition }, options: WithNullableEnable()); 36360", NotNullAttributeDefinition }, options: WithNullableEnable()); 36622" + NotNullAttributeDefinition); 38608", NotNullWhenAttributeDefinition, NotNullAttributeDefinition }, options: WithNullableEnable()); 38637", NotNullWhenAttributeDefinition, NotNullAttributeDefinition }, options: WithNullableEnable()); 38658", NotNullAttributeDefinition }, options: WithNullableEnable()); 38679", NotNullAttributeDefinition }, options: WithNullableEnable()); 38700", NotNullAttributeDefinition }, options: WithNullableEnable()); 38772", NotNullAttributeDefinition }, options: WithNullableEnable()); 38796", NotNullAttributeDefinition }, options: WithNullableEnable()); 38819", NotNullAttributeDefinition }, options: WithNullableEnable()); 38842", NotNullAttributeDefinition }, options: WithNullableEnable()); 38861" + NotNullAttributeDefinition); 38880", NotNullAttributeDefinition }, options: WithNullableEnable()); 38902", NotNullAttributeDefinition }, options: WithNullableEnable()); 38933", NotNullAttributeDefinition }, options: WithNullableEnable()); 38968", NotNullAttributeDefinition }, options: WithNullableEnable()); 38994", NotNullAttributeDefinition }, options: WithNullableEnable()); 39020", NotNullAttributeDefinition }, options: WithNullableEnable()); 39198", NotNullAttributeDefinition }, options: WithNullableEnable()); 39217" + NotNullAttributeDefinition); 39240", NotNullAttributeDefinition }, options: WithNullableEnable()); 39267", NotNullAttributeDefinition }, options: WithNullableEnable()); 39290", NotNullAttributeDefinition }, options: WithNullableEnable()); 39315", NotNullAttributeDefinition }, options: WithNullableEnable()); 39342", NotNullAttributeDefinition }, options: WithNullableEnable()); 39365", NotNullAttributeDefinition }, options: WithNullableEnable()); 39384", NotNullAttributeDefinition }, options: WithNullableEnable()); 39446", NotNullAttributeDefinition }, options: WithNullableEnable()); 39472", NotNullAttributeDefinition }, options: WithNullableEnable()); 39491", NotNullAttributeDefinition }, options: WithNullableEnable()); 39516", NotNullAttributeDefinition }, options: WithNullableEnable()); 39535", NotNullAttributeDefinition }, options: WithNullableEnable()); 39589new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39660new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39718new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39784var comp = CreateCompilation(new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 39862new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39900new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39946new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39998new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 40480var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 40501var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 41828var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition }); 42013var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 42173var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }); 42225var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }); 42579var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, NotNullWhenAttributeDefinition, source.Replace("TYPE", type) }); 42665var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, NotNullWhenAttributeDefinition, source.Replace("CONSTRAINT", constraint) }); 42724var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 42753var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 42794var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, DoesNotReturnIfAttributeDefinition }); 42844var comp = CreateNullableCompilation(new[] { MaybeNullWhenAttributeDefinition, NotNullAttributeDefinition, NotNullWhenAttributeDefinition, source.Replace("TYPE", type) }); 43242var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 43346var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullWhenAttributeDefinition, source }); 44879var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }, 44883var comp2 = CreateNullableCompilation(new[] { source, lib_cs, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 44920var lib = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition, lib_cs }); 44946var comp2 = CreateNullableCompilation(new[] { source, lib_cs, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 45738var comp = CreateNullableCompilation(new[] { MaybeNullAttributeDefinition, NotNullAttributeDefinition, source }); 46097var comp = CreateCompilation(new[] { MaybeNullAttributeDefinition, NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47302var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47378var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47424var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47443var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47457var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source0 }, options: WithNullableEnable()); 47501var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source0 }); 47542var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source0 }); 47594var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source }); 47637var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47661var lib = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 47690var comp2 = CreateNullableCompilation(new[] { source, lib_cs, NotNullAttributeDefinition }); 47727var comp = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 47777var comp = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 47800var comp = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 47820var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 47848var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 47886var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 47916var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 47946var lib = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 47973var comp2 = CreateNullableCompilation(new[] { source, lib_cs, NotNullAttributeDefinition }); 48027var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 48057var lib = CreateNullableCompilation(new[] { NotNullAttributeDefinition, lib_cs }); 48083var comp2 = CreateNullableCompilation(new[] { source, lib_cs, NotNullAttributeDefinition }); 48122var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 48148var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 48236var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48286var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48331var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48371var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source }); 48408var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source }); 48473var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source }); 48630var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48668var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48706var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48731var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullWhenAttributeDefinition, source }); 48756var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullWhenAttributeDefinition, source }); 48804var comp = CreateCompilation(new[] { MaybeNullAttributeDefinition, NotNullAttributeDefinition, source }, options: WithNullableEnable(), parseOptions: TestOptions.Regular8); 54036CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }).VerifyDiagnostics( 68722var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 68924var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 68958var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 68989var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 69017var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 70188var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition }); 72335", MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 91741var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }, options: WithNullableEnable()); 91950var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 92187var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 92454var comp = CreateCompilationWithTasksExtensions(new[] { source, s_IAsyncEnumerable, NotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 92694var comp = CreateCompilationWithTasksExtensions(new[] { source, s_IAsyncEnumerable, NotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 137023var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }, options: WithNullableEnable()); 140561var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 149778var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, NotNullAttributeDefinition }); 149843var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 149891var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 149928var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 149973var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 155088var comp = CreateCompilation(new[] { sourceA, DisallowNullAttributeDefinition, NotNullAttributeDefinition }); 155213comp = CreateCompilation(new[] { sourceB, DisallowNullAttributeDefinition, NotNullAttributeDefinition }, references: new[] { refA }); 155274comp = CreateCompilation(new[] { sourceB, DisallowNullAttributeDefinition, NotNullAttributeDefinition }, references: new[] { refA }); 159058var 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]);