4 references to makeUnconditionalAnnotationCore
Microsoft.CodeAnalysis.CSharp (4)
FlowAnalysis\NullableWalker.cs (4)
2466
var unconditionalAnnotationWhenTrue =
makeUnconditionalAnnotationCore
(annotations, FlowAnalysisAnnotations.NotNullWhenTrue, FlowAnalysisAnnotations.NotNull);
2467
return
makeUnconditionalAnnotationCore
(unconditionalAnnotationWhenTrue, FlowAnalysisAnnotations.MaybeNullWhenTrue, FlowAnalysisAnnotations.MaybeNull);
2470
var unconditionalAnnotationWhenFalse =
makeUnconditionalAnnotationCore
(annotations, FlowAnalysisAnnotations.NotNullWhenFalse, FlowAnalysisAnnotations.NotNull);
2471
return
makeUnconditionalAnnotationCore
(unconditionalAnnotationWhenFalse, FlowAnalysisAnnotations.MaybeNullWhenFalse, FlowAnalysisAnnotations.MaybeNull);