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

2604var 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 });

20664", NotNullAttributeDefinition }, options: WithNullableEnable()); 20710", NotNullAttributeDefinition }, options: WithNullableEnable()); 29059", NotNullAttributeDefinition }); 29105", NotNullAttributeDefinition }); 29493var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 29523var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 29552var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 29894", AllowNullAttributeDefinition, NotNullAttributeDefinition }); 30288var comp = CreateNullableCompilation(new[] { MaybeNullAttributeDefinition, NotNullAttributeDefinition, source }); 32783var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 32815var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, MemberNotNullAttributeDefinition, DisallowNullAttributeDefinition }); 32856var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, MemberNotNullAttributeDefinition, DisallowNullAttributeDefinition }); 32928var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, DisallowNullAttributeDefinition }); 32999var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, DisallowNullAttributeDefinition }); 33091var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 33133var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 34645var comp = CreateNullableCompilation(new[] { AllowNullAttributeDefinition, DisallowNullAttributeDefinition, NotNullAttributeDefinition, NotNullIfNotNullAttributeDefinition, source }); 34725var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, DisallowNullAttributeDefinition, source }); 34760", NotNullAttributeDefinition }, options: WithNullableEnable()); 34797", NotNullAttributeDefinition }, options: WithNullableEnable()); 36357", NotNullAttributeDefinition }, options: WithNullableEnable()); 36378", NotNullAttributeDefinition }, options: WithNullableEnable()); 36640" + NotNullAttributeDefinition); 38626", NotNullWhenAttributeDefinition, NotNullAttributeDefinition }, options: WithNullableEnable()); 38655", NotNullWhenAttributeDefinition, NotNullAttributeDefinition }, options: WithNullableEnable()); 38676", NotNullAttributeDefinition }, options: WithNullableEnable()); 38697", NotNullAttributeDefinition }, options: WithNullableEnable()); 38718", NotNullAttributeDefinition }, options: WithNullableEnable()); 38790", NotNullAttributeDefinition }, options: WithNullableEnable()); 38814", NotNullAttributeDefinition }, options: WithNullableEnable()); 38837", NotNullAttributeDefinition }, options: WithNullableEnable()); 38860", NotNullAttributeDefinition }, options: WithNullableEnable()); 38879" + NotNullAttributeDefinition); 38898", NotNullAttributeDefinition }, options: WithNullableEnable()); 38920", NotNullAttributeDefinition }, options: WithNullableEnable()); 38951", NotNullAttributeDefinition }, options: WithNullableEnable()); 38986", NotNullAttributeDefinition }, options: WithNullableEnable()); 39012", NotNullAttributeDefinition }, options: WithNullableEnable()); 39038", NotNullAttributeDefinition }, options: WithNullableEnable()); 39216", NotNullAttributeDefinition }, options: WithNullableEnable()); 39235" + NotNullAttributeDefinition); 39258", NotNullAttributeDefinition }, options: WithNullableEnable()); 39285", NotNullAttributeDefinition }, options: WithNullableEnable()); 39308", NotNullAttributeDefinition }, options: WithNullableEnable()); 39333", NotNullAttributeDefinition }, options: WithNullableEnable()); 39360", NotNullAttributeDefinition }, options: WithNullableEnable()); 39383", NotNullAttributeDefinition }, options: WithNullableEnable()); 39402", NotNullAttributeDefinition }, options: WithNullableEnable()); 39464", NotNullAttributeDefinition }, options: WithNullableEnable()); 39490", NotNullAttributeDefinition }, options: WithNullableEnable()); 39509", NotNullAttributeDefinition }, options: WithNullableEnable()); 39534", NotNullAttributeDefinition }, options: WithNullableEnable()); 39553", NotNullAttributeDefinition }, options: WithNullableEnable()); 39607new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39678new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39736new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39802var comp = CreateCompilation(new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 39880new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39918new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39964new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 40016new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 40498var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 40519var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 41846var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition }); 42031var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 42191var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }); 42243var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }); 42597var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, NotNullWhenAttributeDefinition, source.Replace("TYPE", type) }); 42683var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, NotNullWhenAttributeDefinition, source.Replace("CONSTRAINT", constraint) }); 42742var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 42771var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 42812var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, DoesNotReturnIfAttributeDefinition }); 42862var comp = CreateNullableCompilation(new[] { MaybeNullWhenAttributeDefinition, NotNullAttributeDefinition, NotNullWhenAttributeDefinition, source.Replace("TYPE", type) }); 43260var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 43364var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullWhenAttributeDefinition, source }); 44897var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }, 44901var comp2 = CreateNullableCompilation(new[] { source, lib_cs, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 44938var lib = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition, lib_cs }); 44964var comp2 = CreateNullableCompilation(new[] { source, lib_cs, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 45756var comp = CreateNullableCompilation(new[] { MaybeNullAttributeDefinition, NotNullAttributeDefinition, source }); 46115var comp = CreateCompilation(new[] { MaybeNullAttributeDefinition, NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47320var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47396var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47442var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47461var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47475var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source0 }, options: WithNullableEnable()); 47519var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source0 }); 47560var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source0 }); 47612var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source }); 47655var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47679var lib = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 47708var comp2 = CreateNullableCompilation(new[] { source, lib_cs, NotNullAttributeDefinition }); 47745var comp = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 47795var comp = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 47818var comp = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 47838var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 47866var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 47904var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 47934var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 47964var lib = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 47991var comp2 = CreateNullableCompilation(new[] { source, lib_cs, NotNullAttributeDefinition }); 48045var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 48075var lib = CreateNullableCompilation(new[] { NotNullAttributeDefinition, lib_cs }); 48101var comp2 = CreateNullableCompilation(new[] { source, lib_cs, NotNullAttributeDefinition }); 48140var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 48166var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 48254var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48304var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48349var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48389var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source }); 48426var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source }); 48491var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source }); 48648var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48686var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48724var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48749var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullWhenAttributeDefinition, source }); 48774var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullWhenAttributeDefinition, source }); 48822var comp = CreateCompilation(new[] { MaybeNullAttributeDefinition, NotNullAttributeDefinition, source }, options: WithNullableEnable(), parseOptions: TestOptions.Regular8); 54066CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }).VerifyDiagnostics( 68752var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 68954var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 68988var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 69019var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 69047var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 70218var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition }); 72365", MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 91791var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }, options: WithNullableEnable()); 92000var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 92237var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 92504var comp = CreateCompilationWithTasksExtensions(new[] { source, s_IAsyncEnumerable, NotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 92744var comp = CreateCompilationWithTasksExtensions(new[] { source, s_IAsyncEnumerable, NotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 137073var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }, options: WithNullableEnable()); 140611var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 149828var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, NotNullAttributeDefinition }); 149893var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 149941var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 149978var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 150023var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 155138var comp = CreateCompilation(new[] { sourceA, DisallowNullAttributeDefinition, NotNullAttributeDefinition }); 155263comp = CreateCompilation(new[] { sourceB, DisallowNullAttributeDefinition, NotNullAttributeDefinition }, references: new[] { refA }); 155324comp = CreateCompilation(new[] { sourceB, DisallowNullAttributeDefinition, NotNullAttributeDefinition }, references: new[] { refA }); 159108var 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]);