5 references to applyMemberPostConditions
Microsoft.CodeAnalysis.CSharp (5)
FlowAnalysis\NullableWalker.cs (5)
7457applyMemberPostConditions(receiverSlot, type, notNullMembers, ref StateWhenTrue);
7458applyMemberPostConditions(receiverSlot, type, notNullMembers, ref StateWhenFalse);
7462applyMemberPostConditions(receiverSlot, type, notNullMembers, ref State);
7469applyMemberPostConditions(receiverSlot, type, notNullWhenTrueMembers, ref StateWhenTrue);
7470applyMemberPostConditions(receiverSlot, type, notNullWhenFalseMembers, ref StateWhenFalse);