4 references to makeUnconditionalAnnotationCore
Microsoft.CodeAnalysis.CSharp (4)
FlowAnalysis\NullableWalker.cs (4)
2627
var unconditionalAnnotationWhenTrue =
makeUnconditionalAnnotationCore
(annotations, FlowAnalysisAnnotations.NotNullWhenTrue, FlowAnalysisAnnotations.NotNull);
2628
return
makeUnconditionalAnnotationCore
(unconditionalAnnotationWhenTrue, FlowAnalysisAnnotations.MaybeNullWhenTrue, FlowAnalysisAnnotations.MaybeNull);
2631
var unconditionalAnnotationWhenFalse =
makeUnconditionalAnnotationCore
(annotations, FlowAnalysisAnnotations.NotNullWhenFalse, FlowAnalysisAnnotations.NotNull);
2632
return
makeUnconditionalAnnotationCore
(unconditionalAnnotationWhenFalse, FlowAnalysisAnnotations.MaybeNullWhenFalse, FlowAnalysisAnnotations.MaybeNull);