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()); 29038", NotNullAttributeDefinition }); 29084", NotNullAttributeDefinition }); 29472var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 29502var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 29531var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 29873", AllowNullAttributeDefinition, NotNullAttributeDefinition }); 30267var comp = CreateNullableCompilation(new[] { MaybeNullAttributeDefinition, NotNullAttributeDefinition, source }); 32762var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 32794var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, MemberNotNullAttributeDefinition, DisallowNullAttributeDefinition }); 32835var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, MemberNotNullAttributeDefinition, DisallowNullAttributeDefinition }); 32907var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, DisallowNullAttributeDefinition }); 32978var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, DisallowNullAttributeDefinition }); 33070var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 33112var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 34624var comp = CreateNullableCompilation(new[] { AllowNullAttributeDefinition, DisallowNullAttributeDefinition, NotNullAttributeDefinition, NotNullIfNotNullAttributeDefinition, source }); 34704var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, DisallowNullAttributeDefinition, source }); 34739", NotNullAttributeDefinition }, options: WithNullableEnable()); 34776", NotNullAttributeDefinition }, options: WithNullableEnable()); 36336", NotNullAttributeDefinition }, options: WithNullableEnable()); 36357", NotNullAttributeDefinition }, options: WithNullableEnable()); 36619" + NotNullAttributeDefinition); 38605", NotNullWhenAttributeDefinition, NotNullAttributeDefinition }, options: WithNullableEnable()); 38634", NotNullWhenAttributeDefinition, NotNullAttributeDefinition }, options: WithNullableEnable()); 38655", NotNullAttributeDefinition }, options: WithNullableEnable()); 38676", NotNullAttributeDefinition }, options: WithNullableEnable()); 38697", NotNullAttributeDefinition }, options: WithNullableEnable()); 38769", NotNullAttributeDefinition }, options: WithNullableEnable()); 38793", NotNullAttributeDefinition }, options: WithNullableEnable()); 38816", NotNullAttributeDefinition }, options: WithNullableEnable()); 38839", NotNullAttributeDefinition }, options: WithNullableEnable()); 38858" + NotNullAttributeDefinition); 38877", NotNullAttributeDefinition }, options: WithNullableEnable()); 38899", NotNullAttributeDefinition }, options: WithNullableEnable()); 38930", NotNullAttributeDefinition }, options: WithNullableEnable()); 38965", NotNullAttributeDefinition }, options: WithNullableEnable()); 38991", NotNullAttributeDefinition }, options: WithNullableEnable()); 39017", NotNullAttributeDefinition }, options: WithNullableEnable()); 39195", NotNullAttributeDefinition }, options: WithNullableEnable()); 39214" + NotNullAttributeDefinition); 39237", NotNullAttributeDefinition }, options: WithNullableEnable()); 39264", NotNullAttributeDefinition }, options: WithNullableEnable()); 39287", NotNullAttributeDefinition }, options: WithNullableEnable()); 39312", NotNullAttributeDefinition }, options: WithNullableEnable()); 39339", NotNullAttributeDefinition }, options: WithNullableEnable()); 39362", NotNullAttributeDefinition }, options: WithNullableEnable()); 39381", NotNullAttributeDefinition }, options: WithNullableEnable()); 39443", NotNullAttributeDefinition }, options: WithNullableEnable()); 39469", NotNullAttributeDefinition }, options: WithNullableEnable()); 39488", NotNullAttributeDefinition }, options: WithNullableEnable()); 39513", NotNullAttributeDefinition }, options: WithNullableEnable()); 39532", NotNullAttributeDefinition }, options: WithNullableEnable()); 39586new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39657new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39715new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39781var comp = CreateCompilation(new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 39859new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39897new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39943new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 39995new[] { source, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }, 40477var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 40498var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition, MaybeNullAttributeDefinition }); 41825var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition }); 42010var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 42170var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }); 42222var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }); 42576var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, NotNullWhenAttributeDefinition, source.Replace("TYPE", type) }); 42662var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, NotNullWhenAttributeDefinition, source.Replace("CONSTRAINT", constraint) }); 42721var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 42750var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 42791var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, DoesNotReturnIfAttributeDefinition }); 42841var comp = CreateNullableCompilation(new[] { MaybeNullWhenAttributeDefinition, NotNullAttributeDefinition, NotNullWhenAttributeDefinition, source.Replace("TYPE", type) }); 43239var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 43343var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullWhenAttributeDefinition, source }); 44876var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }, 44880var comp2 = CreateNullableCompilation(new[] { source, lib_cs, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 44917var lib = CreateNullableCompilation(new[] { DisallowNullAttributeDefinition, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition, lib_cs }); 44943var comp2 = CreateNullableCompilation(new[] { source, lib_cs, DisallowNullAttributeDefinition, AllowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 45735var comp = CreateNullableCompilation(new[] { MaybeNullAttributeDefinition, NotNullAttributeDefinition, source }); 46094var comp = CreateCompilation(new[] { MaybeNullAttributeDefinition, NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47299var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47375var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47421var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47440var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47454var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source0 }, options: WithNullableEnable()); 47498var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source0 }); 47539var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source0 }); 47591var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source }); 47634var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 47658var lib = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 47687var comp2 = CreateNullableCompilation(new[] { source, lib_cs, NotNullAttributeDefinition }); 47724var comp = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 47774var comp = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 47797var comp = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 47817var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 47845var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 47883var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 47913var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 47943var lib = CreateNullableCompilation(new[] { lib_cs, NotNullAttributeDefinition }); 47970var comp2 = CreateNullableCompilation(new[] { source, lib_cs, NotNullAttributeDefinition }); 48024var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 48054var lib = CreateNullableCompilation(new[] { NotNullAttributeDefinition, lib_cs }); 48080var comp2 = CreateNullableCompilation(new[] { source, lib_cs, NotNullAttributeDefinition }); 48119var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 48145var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }); 48233var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48283var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48328var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48368var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source }); 48405var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source }); 48470var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullAttributeDefinition, source }); 48627var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48665var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48703var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, source }); 48728var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullWhenAttributeDefinition, source }); 48753var comp = CreateNullableCompilation(new[] { NotNullAttributeDefinition, MaybeNullWhenAttributeDefinition, source }); 48801var comp = CreateCompilation(new[] { MaybeNullAttributeDefinition, NotNullAttributeDefinition, source }, options: WithNullableEnable(), parseOptions: TestOptions.Regular8); 54033CreateNullableCompilation(new[] { source, NotNullAttributeDefinition }).VerifyDiagnostics( 68719var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 68921var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 68955var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 68986var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 69014var comp = CreateCompilation(new[] { code, handler, InterpolatedStringHandlerArgumentAttribute, NotNullAttributeDefinition }); 70185var comp = CreateNullableCompilation(new[] { source, AllowNullAttributeDefinition, NotNullAttributeDefinition }); 72332", MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 91736var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }, options: WithNullableEnable()); 91945var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 92182var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 92449var comp = CreateCompilationWithTasksExtensions(new[] { source, s_IAsyncEnumerable, NotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 92689var comp = CreateCompilationWithTasksExtensions(new[] { source, s_IAsyncEnumerable, NotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.Regular9); 137018var comp = CreateCompilation(new[] { source, NotNullAttributeDefinition }, options: WithNullableEnable()); 140556var comp = CreateCompilation(new[] { NotNullAttributeDefinition, source }, options: WithNullableEnable()); 149773var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, NotNullAttributeDefinition }); 149838var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 149886var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 149923var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 149968var comp = CreateCompilation(new[] { source, AllowNullAttributeDefinition, DisallowNullAttributeDefinition, MaybeNullAttributeDefinition, NotNullAttributeDefinition }); 155083var comp = CreateCompilation(new[] { sourceA, DisallowNullAttributeDefinition, NotNullAttributeDefinition }); 155208comp = CreateCompilation(new[] { sourceB, DisallowNullAttributeDefinition, NotNullAttributeDefinition }, references: new[] { refA }); 155269comp = CreateCompilation(new[] { sourceB, DisallowNullAttributeDefinition, NotNullAttributeDefinition }, references: new[] { refA }); 159053var 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]);