3 references to LearnFromPostConditions
Microsoft.CodeAnalysis.CSharp (3)
FlowAnalysis\NullableWalker.cs (3)
5484
LearnFromPostConditions
(operand, parameterAnnotations);
7959
LearnFromPostConditions
(argument, parameterAnnotations);
9972
LearnFromPostConditions
(conversionOperand, parameterAnnotations);