2 references to EnforceParameterNotNullWhenOnExit
Microsoft.CodeAnalysis.CSharp (2)
FlowAnalysis\NullableWalker.cs (2)
1250
EnforceParameterNotNullWhenOnExit
(returnStatement.Syntax, parameters, sense: value, stateWhen: pendingReturn.State);
1272
EnforceParameterNotNullWhenOnExit
(returnStatement.Syntax, parameters, sense: value, stateWhen: pendingReturn.State);