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

20500", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 20862", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 20922", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 20964""", MemberNotNullAttributeDefinition], parseOptions: TestOptions.Regular9); 21001""", MemberNotNullAttributeDefinition]); 21047""", MemberNotNullAttributeDefinition]); 21090""", MemberNotNullAttributeDefinition]); 21136""", MemberNotNullAttributeDefinition]); 21174""", MemberNotNullAttributeDefinition]); 21208""", MemberNotNullAttributeDefinition]); 21255""", MemberNotNullAttributeDefinition]); 21287""", MemberNotNullAttributeDefinition]); 21324""", MemberNotNullAttributeDefinition]); 21361""", MemberNotNullAttributeDefinition]); 21411""", MemberNotNullAttributeDefinition]); 21441""", MemberNotNullAttributeDefinition]); 21469""", MemberNotNullAttributeDefinition]); 21497""", MemberNotNullAttributeDefinition]); 21526""", MemberNotNullAttributeDefinition]); 21554""", MemberNotNullAttributeDefinition]); 21579""", MemberNotNullAttributeDefinition]); 21607""", MemberNotNullAttributeDefinition]); 21666""", MemberNotNullAttributeDefinition]); 21753""", MemberNotNullAttributeDefinition]); 21790""", MemberNotNullAttributeDefinition]); 21823""", MemberNotNullAttributeDefinition]); 21868""", MemberNotNullAttributeDefinition]); 21896""", MemberNotNullAttributeDefinition]); 21921""", MemberNotNullAttributeDefinition]); 21937""", MemberNotNullAttributeDefinition]); 21963""", MemberNotNullAttributeDefinition]); 21994""", MemberNotNullAttributeDefinition]); 22031""", MemberNotNullAttributeDefinition]); 22068""", MemberNotNullAttributeDefinition]); 22104""", MemberNotNullAttributeDefinition]); 22140""", MemberNotNullAttributeDefinition]); 22183""", MemberNotNullAttributeDefinition]); 22216""", MemberNotNullAttributeDefinition]); 22247""", MemberNotNullAttributeDefinition]); 22272""", MemberNotNullAttributeDefinition]); 22780", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 22859", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 22924", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 22980", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23033", MemberNotNullAttributeDefinition, NotNullWhenAttributeDefinition }, parseOptions: TestOptions.Regular9); 23064", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23235", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23292}", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23430", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23478", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23503", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23530", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23554", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23659", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23695var c = CreateCompilation(new[] { source, MemberNotNullAttributeDefinition, MemberNotNullWhenAttributeDefinition }, parseOptions: TestOptions.Regular8); 23714var c2 = CreateCompilation(new[] { source, MemberNotNullAttributeDefinition, MemberNotNullWhenAttributeDefinition }, parseOptions: TestOptions.Regular9); 23755", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23806", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23850", MemberNotNullAttributeDefinition }); 23911", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 23979", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24034", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24074", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24121", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24168", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24207", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24249", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24285", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24321", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24364", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24405", MemberNotNullAttributeDefinition }); 24434", MemberNotNullAttributeDefinition }); 24453", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24482", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24520", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24559", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24589", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24624", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24669", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24719", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24927", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24971", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 24998""", MemberNotNullAttributeDefinition]); 25815", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 26563", MemberNotNullAttributeDefinition, MemberNotNullWhenAttributeDefinition }, parseOptions: TestOptions.Regular9); 26648", MemberNotNullAttributeDefinition }, parseOptions: TestOptions.Regular9); 28490", MemberNotNullAttributeDefinition }); 32793var comp = CreateNullableCompilation(new[] { source, NotNullAttributeDefinition, MemberNotNullAttributeDefinition, DisallowNullAttributeDefinition }); 32834var 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 });