4 references to makeUnconditionalAnnotationCore
Microsoft.CodeAnalysis.CSharp (4)
FlowAnalysis\NullableWalker.cs (4)
2662
var unconditionalAnnotationWhenTrue =
makeUnconditionalAnnotationCore
(annotations, FlowAnalysisAnnotations.NotNullWhenTrue, FlowAnalysisAnnotations.NotNull);
2663
return
makeUnconditionalAnnotationCore
(unconditionalAnnotationWhenTrue, FlowAnalysisAnnotations.MaybeNullWhenTrue, FlowAnalysisAnnotations.MaybeNull);
2666
var unconditionalAnnotationWhenFalse =
makeUnconditionalAnnotationCore
(annotations, FlowAnalysisAnnotations.NotNullWhenFalse, FlowAnalysisAnnotations.NotNull);
2667
return
makeUnconditionalAnnotationCore
(unconditionalAnnotationWhenFalse, FlowAnalysisAnnotations.MaybeNullWhenFalse, FlowAnalysisAnnotations.MaybeNull);