5 references to applyMemberPostConditions
Microsoft.CodeAnalysis.CSharp (5)
FlowAnalysis\NullableWalker.cs (5)
7609applyMemberPostConditions(receiverSlot, type, notNullMembers, ref StateWhenTrue); 7610applyMemberPostConditions(receiverSlot, type, notNullMembers, ref StateWhenFalse); 7614applyMemberPostConditions(receiverSlot, type, notNullMembers, ref State); 7621applyMemberPostConditions(receiverSlot, type, notNullWhenTrueMembers, ref StateWhenTrue); 7622applyMemberPostConditions(receiverSlot, type, notNullWhenFalseMembers, ref StateWhenFalse);