4200new[] { source, MaybeNullAttributeDefinition, NotNullAttributeDefinition, NotNullIfNotNullAttributeDefinition, MemberNotNullAttributeDefinition, MemberNotNullWhenAttributeDefinition },

10919var comp = CreateCompilation([source, MemberNotNullAttributeDefinition]); 10948var comp = CreateCompilation([source, MemberNotNullAttributeDefinition]); 10977var comp = CreateCompilation([source, MemberNotNullAttributeDefinition]); 11007var comp = CreateCompilation([source, MemberNotNullAttributeDefinition]);

20504", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 20866", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 20926", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 20968""", MemberNotNullAttributeDefinition], parseOptions: TestOptions.Regular9); 21005""", MemberNotNullAttributeDefinition]); 21051""", MemberNotNullAttributeDefinition]); 21094""", MemberNotNullAttributeDefinition]); 21140""", MemberNotNullAttributeDefinition]); 21178""", MemberNotNullAttributeDefinition]); 21216""", MemberNotNullAttributeDefinition]); 21263""", MemberNotNullAttributeDefinition]); 21295""", MemberNotNullAttributeDefinition]); 21332""", MemberNotNullAttributeDefinition]); 21369""", MemberNotNullAttributeDefinition]); 21419""", MemberNotNullAttributeDefinition]); 21449""", MemberNotNullAttributeDefinition]); 21477""", MemberNotNullAttributeDefinition]); 21505""", MemberNotNullAttributeDefinition]); 21534""", MemberNotNullAttributeDefinition]); 21562""", MemberNotNullAttributeDefinition]); 21587""", MemberNotNullAttributeDefinition]); 21615""", MemberNotNullAttributeDefinition]); 21674""", MemberNotNullAttributeDefinition]); 21761""", MemberNotNullAttributeDefinition]); 21798""", MemberNotNullAttributeDefinition]); 21831""", MemberNotNullAttributeDefinition]); 21876""", MemberNotNullAttributeDefinition]); 21904""", MemberNotNullAttributeDefinition]); 21929""", MemberNotNullAttributeDefinition]); 21945""", MemberNotNullAttributeDefinition]); 21971""", MemberNotNullAttributeDefinition]); 22002""", MemberNotNullAttributeDefinition]); 22039""", MemberNotNullAttributeDefinition]); 22076""", MemberNotNullAttributeDefinition]); 22112""", MemberNotNullAttributeDefinition]); 22148""", MemberNotNullAttributeDefinition]); 22191""", MemberNotNullAttributeDefinition]); 22224""", MemberNotNullAttributeDefinition]); 22255""", MemberNotNullAttributeDefinition]); 22280""", MemberNotNullAttributeDefinition]); 22788", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 22867", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 22932", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 22988", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23041", MemberNotNullAttributeDefinition, NotNullWhenAttributeDefinition }, parseOptions: TestOptions.Regular9); 23072", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23243", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23300}", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23438", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23486", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23511", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23538", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23562", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23667", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23703var c = CreateCompilation(new[] { source, MemberNotNullAttributeDefinition, MemberNotNullWhenAttributeDefinition }, parseOptions: TestOptions.Regular8); 23722var c2 = CreateCompilation(new[] { source, MemberNotNullAttributeDefinition, MemberNotNullWhenAttributeDefinition }, parseOptions: TestOptions.Regular9); 23763", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23814", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23858", MemberNotNullAttributeDefinition }); 23919", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23987", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24042", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24082", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24129", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24176", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24215", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24257", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24293", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24329", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24372", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24413", MemberNotNullAttributeDefinition }); 24442", MemberNotNullAttributeDefinition }); 24461", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24490", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24528", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24567", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24597", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24632", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24677", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24727", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24935", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24979", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 25006""", MemberNotNullAttributeDefinition]); 25823", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 26571", MemberNotNullAttributeDefinition, MemberNotNullWhenAttributeDefinition }, parseOptions: TestOptions.Regular9); 26656", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 28519", MemberNotNullAttributeDefinition }); 32822var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, MemberNotNullAttributeDefinition, DisallowNullAttributeDefinition }); 32863var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, MemberNotNullAttributeDefinition, DisallowNullAttributeDefinition });

2244var comp = CreateCompilation(new[] { source, MemberNotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.RegularPreview); 2313var comp = CreateCompilation(new[] { source, MemberNotNullAttributeDefinition }, options: WithNullableEnable(), parseOptions: TestOptions.RegularPreview);

4256var comp = CreateCompilationWithRequiredMembers(new[] { code, MemberNotNullAttributeDefinition }); 4276var comp = CreateCompilationWithRequiredMembers(new[] { code, MemberNotNullAttributeDefinition }); 4307var comp = CreateCompilationWithRequiredMembers(new[] { code, MemberNotNullAttributeDefinition }); 4327var comp = CreateCompilationWithRequiredMembers(new[] { code, MemberNotNullAttributeDefinition }); 4348var comp = CreateCompilationWithRequiredMembers(new[] { code, MemberNotNullAttributeDefinition }); 4369var comp = CreateCompilationWithRequiredMembers(new[] { code, MemberNotNullAttributeDefinition }); 4397var comp = CreateCompilationWithRequiredMembers(new[] { code, MemberNotNullAttributeDefinition }); 4424var comp = CreateCompilationWithRequiredMembers(new[] { code, MemberNotNullAttributeDefinition }); 4448var comp = CreateCompilationWithRequiredMembers(new[] { code, MemberNotNullAttributeDefinition }); 4477var comp = CreateCompilationWithRequiredMembers(new[] { code, MemberNotNullAttributeDefinition }); 4509var comp = CreateCompilationWithRequiredMembers(new[] { code, MemberNotNullAttributeDefinition }); 4543var comp = CreateCompilationWithRequiredMembers(new[] { code, MemberNotNullAttributeDefinition }); 4578var comp = CreateCompilationWithRequiredMembers(new[] { code, MemberNotNullAttributeDefinition }); 4612var comp = CreateCompilationWithRequiredMembers(new[] { code, MemberNotNullAttributeDefinition }); 4660var comp = CreateCompilationWithRequiredMembers(new[] { @base, derived, MemberNotNullAttributeDefinition }); 4663var baseComp = CreateCompilationWithRequiredMembers(new[] { @base, MemberNotNullAttributeDefinition }); 4705var comp = CreateCompilationWithRequiredMembers(new[] { @base, derived, MemberNotNullAttributeDefinition }); 4708var baseComp = CreateCompilationWithRequiredMembers(new[] { @base, MemberNotNullAttributeDefinition }); 4750var comp = CreateCompilationWithRequiredMembers(new[] { @base, derived, MemberNotNullAttributeDefinition }); 4753var baseComp = CreateCompilationWithRequiredMembers(new[] { @base, MemberNotNullAttributeDefinition }); 4794var comp = CreateCompilationWithRequiredMembers(new[] { @base, derived, MemberNotNullAttributeDefinition }); 4797var baseComp = CreateCompilationWithRequiredMembers(new[] { @base, MemberNotNullAttributeDefinition }); 4840var comp = CreateCompilationWithRequiredMembers(new[] { @base, derived, MemberNotNullAttributeDefinition }); 4843var baseComp = CreateCompilationWithRequiredMembers(new[] { @base, MemberNotNullAttributeDefinition });