3 references to LearnFromPostConditions
Microsoft.CodeAnalysis.CSharp (3)
FlowAnalysis\NullableWalker.cs (3)
5361LearnFromPostConditions(operand, parameterAnnotations); 7788LearnFromPostConditions(argument, parameterAnnotations); 9761LearnFromPostConditions(conversionOperand, parameterAnnotations);