4 references to LearnFromPostConditions
Microsoft.CodeAnalysis.CSharp (4)
FlowAnalysis\NullableWalker.cs (4)
5765LearnFromPostConditions(operand, parameterAnnotations); 8307LearnFromPostConditions(argument, parameterAnnotations); 10521LearnFromPostConditions(conversionOperand, parameterAnnotations); 10628LearnFromPostConditions(conversionOperand, parameterAnnotations);