34 references to MaybeDefault
Microsoft.CodeAnalysis.CSharp (34)
FlowAnalysis\NullableWalker.cs (24)
785? NullableFlowState.MaybeDefault 842SetState(ref this.State, memberSlot, type.Type.IsPossiblyNullableReferenceTypeTypeParameter() ? NullableFlowState.MaybeDefault : NullableFlowState.MaybeNull); 2420valueType.State == NullableFlowState.MaybeDefault; 2930return TypeWithState.Create(parameterType.Type, NullableFlowState.MaybeDefault); 5911SetResultType(node, TypeWithState.Create(resultType, NullableFlowState.MaybeDefault)); 6717return TypeWithState.Create(typeWithState.Type, NullableFlowState.MaybeDefault); 7706return TypeWithState.Create(typeWithState.Type, NullableFlowState.MaybeDefault); 7727return TypeWithState.Create(typeWithState.Type, NullableFlowState.MaybeDefault); 7746return TypeWithState.Create(typeWithState.Type, NullableFlowState.MaybeDefault); 9211resultState = targetType?.IsTypeParameterDisallowingAnnotationInCSharp8() == true ? NullableFlowState.MaybeDefault : NullableFlowState.MaybeNull; 9229return NullableFlowState.MaybeDefault; 9235return (annotation == NullableAnnotation.Annotated) ? NullableFlowState.MaybeDefault : NullableFlowState.MaybeNull; 9239case NullableFlowState.MaybeDefault: 9260return NullableFlowState.MaybeDefault; 9270return (annotation == NullableAnnotation.Annotated) ? NullableFlowState.MaybeDefault : NullableFlowState.MaybeNull; 9285return NullableFlowState.MaybeDefault; 9295return NullableFlowState.MaybeDefault; 11549SetResultType(node, TypeWithState.Create(node.Type, NullableFlowState.MaybeDefault)); 11625resultState = NullableFlowState.MaybeDefault; 11663SetResultType(node, TypeWithState.Create(node.Type, node.Type?.CanContainNull() != false && node.ConstantValueOpt?.IsNull == true ? NullableFlowState.MaybeDefault : NullableFlowState.NotNull)); 12522(false, true) => NullableFlowState.MaybeDefault, 12551NullableFlowState.MaybeDefault => (false, true), 12649var mayBeNull = GetValue(i) is NullableFlowState.MaybeNull or NullableFlowState.MaybeDefault; 12681NullableFlowState.MaybeDefault => "??",
Symbols\ConstraintsHelper.cs (1)
1213return type.IsTypeParameterDisallowingAnnotationInCSharp8() ? NullableFlowState.MaybeDefault : NullableFlowState.MaybeNull;
Symbols\NullableFlowStateExtensions.cs (1)
34CSharp.NullableFlowState.MaybeDefault => CodeAnalysis.NullableFlowState.MaybeNull,
Symbols\TypeWithAnnotations.cs (3)
817return annotation.IsAnnotated() ? NullableFlowState.MaybeDefault : NullableFlowState.NotNull; 821return annotation switch { NullableAnnotation.Annotated => NullableFlowState.MaybeDefault, NullableAnnotation.NotAnnotated => NullableFlowState.MaybeNull, _ => NullableFlowState.NotNull }; 825return annotation switch { NullableAnnotation.Annotated => NullableFlowState.MaybeDefault, _ => NullableFlowState.NotNull };
Symbols\TypeWithState.cs (5)
25return Create(type, NullableFlowState.MaybeDefault); 30if (defaultState == NullableFlowState.MaybeDefault && 50state = NullableFlowState.MaybeDefault; 72Debug.Assert(state != NullableFlowState.MaybeDefault || type is null || type.IsTypeParameterDisallowingAnnotationInCSharp8()); 90return (State == NullableFlowState.MaybeDefault || asAnnotatedType) ? type.SetIsAnnotated(compilation) : type;