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