2 references to markMemberAsNotNull
Microsoft.CodeAnalysis.CSharp (2)
FlowAnalysis\NullableWalker.cs (2)
8017
markMemberAsNotNull
(receiverSlot, ref StateWhenTrue, unionValue);
8057
state =
markMemberAsNotNull
(receiverSlot, ref state, member);