4 references to makeUnconditionalAnnotationCore
Microsoft.CodeAnalysis.CSharp (4)
FlowAnalysis\NullableWalker.cs (4)
2570
var unconditionalAnnotationWhenTrue =
makeUnconditionalAnnotationCore
(annotations, FlowAnalysisAnnotations.NotNullWhenTrue, FlowAnalysisAnnotations.NotNull);
2571
return
makeUnconditionalAnnotationCore
(unconditionalAnnotationWhenTrue, FlowAnalysisAnnotations.MaybeNullWhenTrue, FlowAnalysisAnnotations.MaybeNull);
2574
var unconditionalAnnotationWhenFalse =
makeUnconditionalAnnotationCore
(annotations, FlowAnalysisAnnotations.NotNullWhenFalse, FlowAnalysisAnnotations.NotNull);
2575
return
makeUnconditionalAnnotationCore
(unconditionalAnnotationWhenFalse, FlowAnalysisAnnotations.MaybeNullWhenFalse, FlowAnalysisAnnotations.MaybeNull);