4 references to LearnFromPostConditions
Microsoft.CodeAnalysis.CSharp (4)
FlowAnalysis\NullableWalker.cs (4)
5805LearnFromPostConditions(operand, parameterAnnotations); 8350LearnFromPostConditions(argument, parameterAnnotations); 10543LearnFromPostConditions(conversionOperand, parameterAnnotations); 10667LearnFromPostConditions(conversionOperand, parameterAnnotations);