4 references to LearnFromPostConditions
Microsoft.CodeAnalysis.CSharp (4)
FlowAnalysis\NullableWalker.cs (4)
5789LearnFromPostConditions(operand, parameterAnnotations); 8363LearnFromPostConditions(argument, parameterAnnotations); 10556LearnFromPostConditions(conversionOperand, parameterAnnotations); 10686LearnFromPostConditions(conversionOperand, parameterAnnotations);