4 references to LearnFromPostConditions
Microsoft.CodeAnalysis.CSharp (4)
FlowAnalysis\NullableWalker.cs (4)
5861LearnFromPostConditions(operand, parameterAnnotations); 8435LearnFromPostConditions(argument, parameterAnnotations); 10628LearnFromPostConditions(conversionOperand, parameterAnnotations); 10758LearnFromPostConditions(conversionOperand, parameterAnnotations);