4 references to makeUnconditionalAnnotationCore
Microsoft.CodeAnalysis.CSharp (4)
FlowAnalysis\NullableWalker.cs (4)
2589
var unconditionalAnnotationWhenTrue =
makeUnconditionalAnnotationCore
(annotations, FlowAnalysisAnnotations.NotNullWhenTrue, FlowAnalysisAnnotations.NotNull);
2590
return
makeUnconditionalAnnotationCore
(unconditionalAnnotationWhenTrue, FlowAnalysisAnnotations.MaybeNullWhenTrue, FlowAnalysisAnnotations.MaybeNull);
2593
var unconditionalAnnotationWhenFalse =
makeUnconditionalAnnotationCore
(annotations, FlowAnalysisAnnotations.NotNullWhenFalse, FlowAnalysisAnnotations.NotNull);
2594
return
makeUnconditionalAnnotationCore
(unconditionalAnnotationWhenFalse, FlowAnalysisAnnotations.MaybeNullWhenFalse, FlowAnalysisAnnotations.MaybeNull);