4 references to LearnFromPostConditions
Microsoft.CodeAnalysis.CSharp (4)
FlowAnalysis\NullableWalker.cs (4)
5871LearnFromPostConditions(operand, parameterAnnotations); 8452LearnFromPostConditions(argument, parameterAnnotations); 10645LearnFromPostConditions(conversionOperand, parameterAnnotations); 10775LearnFromPostConditions(conversionOperand, parameterAnnotations);