3 references to ToInwardAnnotations
Microsoft.CodeAnalysis.CSharp (3)
FlowAnalysis\NullableWalker.cs (3)
2556
var destAnnotationsWhen =
ToInwardAnnotations
(makeUnconditionalAnnotation(overriddenAnnotations, sense));
3096
CheckDisallowedNullAssignment(returnState,
ToInwardAnnotations
(returnAnnotations), node.Syntax, boundValueOpt: expr);
10712
=>
ToInwardAnnotations
(GetParameterAnnotations(parameter) & ~FlowAnalysisAnnotations.NotNull), // NotNull is enforced upon method exit