4 references to LearnFromPostConditions
Microsoft.CodeAnalysis.CSharp (4)
FlowAnalysis\NullableWalker.cs (4)
5803LearnFromPostConditions(operand, parameterAnnotations); 8377LearnFromPostConditions(argument, parameterAnnotations); 10570LearnFromPostConditions(conversionOperand, parameterAnnotations); 10696LearnFromPostConditions(conversionOperand, parameterAnnotations);