4190new[] { source, MaybeNullAttributeDefinition, NotNullAttributeDefinition, NotNullIfNotNullAttributeDefinition, MemberNotNullAttributeDefinition, MemberNotNullWhenAttributeDefinition }, 4222var comp = CreateCompilation(new[] { source, MaybeNullAttributeDefinition, NotNullAttributeDefinition }, parseOptions: TestOptions.RegularPreview); 4269var comp = CreateCompilation(new[] { source, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 4343var comp = CreateCompilation(new[] { source, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 4390var comp = CreateCompilation(new[] { source, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 4623var comp = CreateCompilation(new[] { source, NotNullIfNotNullAttributeDefinition, NotNullAttributeDefinition });

20628", NotNullAttributeDefinition }, options: WithNullableEnable()); 20674", NotNullAttributeDefinition }, options: WithNullableEnable()); 27099", NotNullAttributeDefinition }); 27145", NotNullAttributeDefinition }); 27533var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 27563var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 27592var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 27934", AllowNullAttributeDefinition, NotNullAttributeDefinition }); 28328var comp = CreateNullableCompilation(new[] { MaybeNullAttributeDefinition, NotNullAttributeDefinition, source }); 30823var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 30855var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, MemberNotNullAttributeDefinition, DisallowNullAttributeDefinition }); 30896var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, MemberNotNullAttributeDefinition, DisallowNullAttributeDefinition }); 30968var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, DisallowNullAttributeDefinition }); 31039var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, DisallowNullAttributeDefinition }); 31131var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 31173var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 32685var comp = CreateNullableCompilation(new[] { AllowNullAttributeDefinition, DisallowNullAttributeDefinition, NotNullAttributeDefinition, NotNullIfNotNullAttributeDefinition, source }); 32765var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, DisallowNullAttributeDefinition, source }); 32800", NotNullAttributeDefinition }, options: WithNullableEnable()); 32837", NotNullAttributeDefinition }, options: WithNullableEnable()); 34397", NotNullAttributeDefinition }, options: WithNullableEnable()); 34418", NotNullAttributeDefinition }, options: WithNullableEnable()); 34680" + NotNullAttributeDefinition); 36538", NotNullWhenAttributeDefinition, NotNullAttributeDefinition }, options: WithNullableEnable()); 36567", NotNullWhenAttributeDefinition, NotNullAttributeDefinition }, options: WithNullableEnable()); 36588", NotNullAttributeDefinition }, options: WithNullableEnable()); 36609", NotNullAttributeDefinition }, options: WithNullableEnable()); 36630", NotNullAttributeDefinition }, options: WithNullableEnable()); 36702", NotNullAttributeDefinition }, options: WithNullableEnable()); 36726", NotNullAttributeDefinition }, options: WithNullableEnable()); 36749", NotNullAttributeDefinition }, options: WithNullableEnable()); 36772", NotNullAttributeDefinition }, options: WithNullableEnable()); 36791" + NotNullAttributeDefinition); 36810", NotNullAttributeDefinition }, options: WithNullableEnable()); 36832", NotNullAttributeDefinition }, options: WithNullableEnable()); 36863", NotNullAttributeDefinition }, options: WithNullableEnable()); 36898", NotNullAttributeDefinition }, options: WithNullableEnable()); 36924", NotNullAttributeDefinition }, options: WithNullableEnable()); 36950", NotNullAttributeDefinition }, options: WithNullableEnable()); 37128", NotNullAttributeDefinition }, options: WithNullableEnable()); 37147" + NotNullAttributeDefinition); 37170", NotNullAttributeDefinition }, options: WithNullableEnable()); 37197", NotNullAttributeDefinition }, options: WithNullableEnable()); 37220", NotNullAttributeDefinition }, options: WithNullableEnable()); 37245", NotNullAttributeDefinition }, options: WithNullableEnable()); 37272", NotNullAttributeDefinition }, options: WithNullableEnable()); 37295", NotNullAttributeDefinition }, options: WithNullableEnable()); 37314", NotNullAttributeDefinition }, options: WithNullableEnable()); 37376", NotNullAttributeDefinition }, options: WithNullableEnable()); 37402", NotNullAttributeDefinition }, options: WithNullableEnable()); 37421", NotNullAttributeDefinition }, options: WithNullableEnable()); 37446", NotNullAttributeDefinition }, options: WithNullableEnable()); 37465", NotNullAttributeDefinition }, options: WithNullableEnable()); 37519new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 37590new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 37648new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 37714var comp = CreateCompilation(new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 37792new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 37830new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 37876new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 37928new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 38410var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 38431var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 39758var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition }); 39943var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 40103var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }); 40155var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }); 40509var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, NotNullWhenAttributeDefinition, source.Replace("TYPE", type) }); 40595var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, NotNullWhenAttributeDefinition, source.Replace("CONSTRAINT", constraint) }); 40654var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 40683var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 40724var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, DoesNotReturnIfAttributeDefinition }); 40774var comp = CreateNullableCompilation(new[] { MaybeNullWhenAttributeDefinition, NotNullAttributeDefinition, NotNullWhenAttributeDefinition, source.Replace("TYPE", type) }); 41172var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 41276var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullWhenAttributeDefinition, source }); 42809var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }, 42813var comp2 = CreateNullableCompilation(new[] { source, lib_cs, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 42850var lib = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition, lib_cs }); 42876var comp2 = CreateNullableCompilation(new[] { source, lib_cs, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 43613var comp = CreateNullableCompilation(new[] { MaybeNullAttributeDefinition, NotNullAttributeDefinition, source }); 43972var comp = CreateCompilation(new[] { MaybeNullAttributeDefinition, NotNullAttributeDefinition, source }, options: WithNullableEnable()); 45177var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 45253var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 45299var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 45318var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 45332var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source0 }, options: WithNullableEnable()); 45376var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source0 }); 45417var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source0 }); 45469var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source }); 45512var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 45536var lib = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 45565var comp2 = CreateNullableCompilation(new[] { source, lib_cs, NotNullAttributeDefinition }); 45602var comp = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 45652var comp = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 45675var comp = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 45695var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 45723var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 45761var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 45791var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 45821var lib = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 45848var comp2 = CreateNullableCompilation(new[] { source, lib_cs, NotNullAttributeDefinition }); 45902var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 45932var lib = CreateNullableCompilation(new[] { NotNullAttributeDefinition, lib_cs }); 45958var comp2 = CreateNullableCompilation(new[] { source, lib_cs, NotNullAttributeDefinition }); 45997var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 46023var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 46111var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 46161var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 46206var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 46246var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source }); 46283var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source }); 46348var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source }); 46505var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 46543var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 46581var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 46606var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullWhenAttributeDefinition, source }); 46631var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullWhenAttributeDefinition, source }); 46679var comp = CreateCompilation(new[] { MaybeNullAttributeDefinition, NotNullAttributeDefinition, source }, options: WithNullableEnable(), parseOptions: TestOptions.Regular8); 51918CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }).VerifyDiagnostics( 65236var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 65438var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 65472var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 65503var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 65531var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 66702var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition }); 68849", MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 87987var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }, options: WithNullableEnable()); 88196var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 88433var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 88700var comp = CreateCompilationWithTasksExtensions(new[] { source, s_IAsyncEnumerable, NotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 88940var comp = CreateCompilationWithTasksExtensions(new[] { source, s_IAsyncEnumerable, NotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 133229var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }, options: WithNullableEnable()); 136237var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 145290var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, NotNullAttributeDefinition }); 145355var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 145403var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 145440var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 145485var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 150600var comp = CreateCompilation(new[] { sourceA, DisallowNullAttributeDefinition, NotNullAttributeDefinition }); 150725comp = CreateCompilation(new[] { sourceB, DisallowNullAttributeDefinition, NotNullAttributeDefinition }, references: new[] { refA }); 150786comp = CreateCompilation(new[] { sourceB, DisallowNullAttributeDefinition, NotNullAttributeDefinition }, references: new[] { refA }); 154524var comp = CreateCompilation(new[] { source, MaybeNullAttributeDefinition, NotNullAttributeDefinition, DoesNotReturnAttributeDefinition, DoesNotReturnIfAttributeDefinition });

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

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