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

20497", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 20859", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 20919", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 20961""", MemberNotNullAttributeDefinition], parseOptions: TestOptions.Regular9); 20998""", MemberNotNullAttributeDefinition]); 21044""", MemberNotNullAttributeDefinition]); 21087""", MemberNotNullAttributeDefinition]); 21133""", MemberNotNullAttributeDefinition]); 21171""", MemberNotNullAttributeDefinition]); 21209""", MemberNotNullAttributeDefinition]); 21256""", MemberNotNullAttributeDefinition]); 21288""", MemberNotNullAttributeDefinition]); 21325""", MemberNotNullAttributeDefinition]); 21362""", MemberNotNullAttributeDefinition]); 21412""", MemberNotNullAttributeDefinition]); 21442""", MemberNotNullAttributeDefinition]); 21470""", MemberNotNullAttributeDefinition]); 21498""", MemberNotNullAttributeDefinition]); 21527""", MemberNotNullAttributeDefinition]); 21555""", MemberNotNullAttributeDefinition]); 21580""", MemberNotNullAttributeDefinition]); 21608""", MemberNotNullAttributeDefinition]); 21667""", MemberNotNullAttributeDefinition]); 21754""", MemberNotNullAttributeDefinition]); 21791""", MemberNotNullAttributeDefinition]); 21824""", MemberNotNullAttributeDefinition]); 21869""", MemberNotNullAttributeDefinition]); 21897""", MemberNotNullAttributeDefinition]); 21922""", MemberNotNullAttributeDefinition]); 21938""", MemberNotNullAttributeDefinition]); 21964""", MemberNotNullAttributeDefinition]); 21995""", MemberNotNullAttributeDefinition]); 22032""", MemberNotNullAttributeDefinition]); 22069""", MemberNotNullAttributeDefinition]); 22105""", MemberNotNullAttributeDefinition]); 22141""", MemberNotNullAttributeDefinition]); 22184""", MemberNotNullAttributeDefinition]); 22217""", MemberNotNullAttributeDefinition]); 22248""", MemberNotNullAttributeDefinition]); 22273""", MemberNotNullAttributeDefinition]); 22781", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 22860", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 22925", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 22981", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23034", MemberNotNullAttributeDefinition, NotNullWhenAttributeDefinition }, parseOptions: TestOptions.Regular9); 23065", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23236", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23293}", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23431", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23479", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23504", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23531", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23555", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23660", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23696var c = CreateCompilation(new[] { source, MemberNotNullAttributeDefinition, MemberNotNullWhenAttributeDefinition }, parseOptions: TestOptions.Regular8); 23715var c2 = CreateCompilation(new[] { source, MemberNotNullAttributeDefinition, MemberNotNullWhenAttributeDefinition }, parseOptions: TestOptions.Regular9); 23756", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23807", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23851", MemberNotNullAttributeDefinition }); 23912", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23980", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24035", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24075", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24122", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24169", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24208", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24250", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24286", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24322", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24365", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24406", MemberNotNullAttributeDefinition }); 24435", MemberNotNullAttributeDefinition }); 24454", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24483", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24521", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24560", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24590", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24625", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24670", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24720", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24928", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24972", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24999""", MemberNotNullAttributeDefinition]); 25816", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 26564", MemberNotNullAttributeDefinition, MemberNotNullWhenAttributeDefinition }, parseOptions: TestOptions.Regular9); 26649", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 28491", MemberNotNullAttributeDefinition }); 32794var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, MemberNotNullAttributeDefinition, DisallowNullAttributeDefinition }); 32835var 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 });