5 references to applyMemberPostConditions
Microsoft.CodeAnalysis.CSharp (5)
FlowAnalysis\NullableWalker.cs (5)
7222applyMemberPostConditions(receiverSlot, type, notNullMembers, ref StateWhenTrue);
7223applyMemberPostConditions(receiverSlot, type, notNullMembers, ref StateWhenFalse);
7227applyMemberPostConditions(receiverSlot, type, notNullMembers, ref State);
7234applyMemberPostConditions(receiverSlot, type, notNullWhenTrueMembers, ref StateWhenTrue);
7235applyMemberPostConditions(receiverSlot, type, notNullWhenFalseMembers, ref StateWhenFalse);