556if (typeWithAnnotations.NullableAnnotation == NullableAnnotation.Annotated && performOnlyCycleSafeValidation &&

1705expression = new BoundDiscardExpression(node, NullableAnnotation.Annotated, isInferred: true, type: null);

2397case NullableAnnotation.Annotated: 8504return expr.ConstantValueOpt == ConstantValue.NotAvailable || !expr.ConstantValueOpt.IsNull || expr.IsSuppressed ? NullableAnnotation.NotAnnotated : NullableAnnotation.Annotated; 9804return (annotation == NullableAnnotation.Annotated) ? NullableFlowState.MaybeDefault : NullableFlowState.MaybeNull; 9839return (annotation == NullableAnnotation.Annotated) ? NullableFlowState.MaybeDefault : NullableFlowState.MaybeNull; 9880var combinedAnnotation = NullableAnnotation.Annotated; 12915var result = TypeWithAnnotations.Create(node.Type, node.IsInferred ? NullableAnnotation.Annotated : node.NullableAnnotation);

841var type = TypeWithAnnotations.Create(t, NullableAnnotation.Annotated);

409annotatedNamespaceOrType.TypeWithAnnotations.NullableAnnotation == NullableAnnotation.Annotated &&

1241case NullableAnnotation.Annotated: 1281case NullableAnnotation.Annotated: 1639case NullableAnnotation.Annotated: 1661case NullableAnnotation.Annotated:

16public static bool IsAnnotated(this NullableAnnotation annotation) => annotation == NullableAnnotation.Annotated; 82/// The attribute (metadata) representation of <see cref="NullableAnnotation.Annotated"/>. 131NullableAnnotation.Annotated => CodeAnalysis.NullableAnnotation.Annotated, 153CodeAnalysis.NullableAnnotation.Annotated => CSharp.NullableAnnotation.Annotated,

448case NullableAnnotation.Annotated:

32TypeWithAnnotations.Create(ContainingType.BaseTypeNoUseSiteDiagnostics, NullableAnnotation.Annotated),

70var annotation = ContainingType.IsRecordStruct ? NullableAnnotation.Oblivious : NullableAnnotation.Annotated;

36var annotation = ContainingType.IsRecordStruct ? NullableAnnotation.Oblivious : NullableAnnotation.Annotated;

31var annotation = ContainingType.IsRecordStruct ? NullableAnnotation.Oblivious : NullableAnnotation.Annotated;

166Debug.Assert((NullableAnnotation)_inferredNullableAnnotation is NullableAnnotation.NotAnnotated or NullableAnnotation.Annotated); 179return NullableAnnotation.Annotated; 190var annotatedDiagnostics = nullableAnalyzeAndFilterDiagnostics(assumedNullableAnnotation: NullableAnnotation.Annotated); 195return NullableAnnotation.Annotated; 223return NullableAnnotation.Annotated;

55Debug.Assert(defaultType?.IsNullableType() != true || defaultAnnotation == NullableAnnotation.Annotated); 82return Create(typeSymbol, nullableAnnotation: isAnnotated ? NullableAnnotation.Annotated : isNullableEnabled ? NullableAnnotation.NotAnnotated : NullableAnnotation.Oblivious); 100nullableAnnotation = NullableAnnotation.Annotated; 115return Create(Type, NullableAnnotation.Annotated, CustomModifiers); 138return NullableAnnotation.Annotated; 143return NullableAnnotation.Annotated; 156case NullableAnnotation.Annotated: 175return new TypeWithAnnotations(defaultType: underlying.DefaultType, defaultAnnotation: NullableAnnotation.Annotated, new LazyNullableTypeParameter(compilation, underlying)); 204return CreateNonLazyType(typeSymbol, NullableAnnotation.Annotated, this.CustomModifiers); 488newAnnotation = NullableAnnotation.Annotated; 821return annotation switch { NullableAnnotation.Annotated => NullableFlowState.MaybeDefault, NullableAnnotation.NotAnnotated => NullableFlowState.MaybeNull, _ => NullableFlowState.NotNull }; 825return annotation switch { NullableAnnotation.Annotated => NullableFlowState.MaybeDefault, _ => NullableFlowState.NotNull }; 831return annotation switch { NullableAnnotation.Annotated => NullableFlowState.MaybeNull, _ => NullableFlowState.NotNull }; 921return CreateNonLazyType(type.DefaultType, NullableAnnotation.Annotated, _customModifiers); 1024return CreateNonLazyType(type.DefaultType, NullableAnnotation.Annotated, _customModifiers);

93(Type?.IsValueType == true ? NullableAnnotation.NotAnnotated : NullableAnnotation.Annotated) : 94(State.IsNotNull() || Type?.CanContainNull() == false ? NullableAnnotation.NotAnnotated : NullableAnnotation.Annotated);

5363Assert.Equal(NullableAnnotation.Annotated, localFn1.ReturnTypeWithAnnotations.NullableAnnotation); 5367Assert.Equal(NullableAnnotation.Annotated, param.TypeWithAnnotations.NullableAnnotation);

29006var nullableObject = TypeWithAnnotations.Create(@object, NullableAnnotation.Annotated);

625Assert.Equal(NullableAnnotation.Annotated, ((SynthesizedBackingFieldSymbol)fieldSymbol).GetInferredNullableAnnotation()); 7526verify(classC.GetMember<SynthesizedBackingFieldSymbol>("<P1>k__BackingField"), NullableAnnotation.Annotated); 7528verify(classC.GetMember<SynthesizedBackingFieldSymbol>("<P3>k__BackingField"), NullableAnnotation.Annotated); 7529verify(classC.GetMember<SynthesizedBackingFieldSymbol>("<P4>k__BackingField"), NullableAnnotation.Annotated); 7531verify(classC.GetMember<SynthesizedBackingFieldSymbol>("<P6>k__BackingField"), NullableAnnotation.Annotated); 10924Assert.Equal(NullableAnnotation.Annotated, prop.BackingField.GetInferredNullableAnnotation()); 10985Assert.Equal(NullableAnnotation.Annotated, field.GetInferredNullableAnnotation()); 11045Assert.Equal(NullableAnnotation.Annotated, prop.BackingField.GetInferredNullableAnnotation()); 11064Assert.Equal(NullableAnnotation.Annotated, prop.BackingField.GetInferredNullableAnnotation()); 11084Assert.Equal(NullableAnnotation.Annotated, prop.BackingField.GetInferredNullableAnnotation()); 11108Assert.Equal(NullableAnnotation.Annotated, prop.BackingField.GetInferredNullableAnnotation()); 11138Assert.Equal(NullableAnnotation.Annotated, prop.BackingField.GetInferredNullableAnnotation()); 11166Assert.Equal(NullableAnnotation.Annotated, prop.BackingField.GetInferredNullableAnnotation()); 11193Assert.Equal(NullableAnnotation.Annotated, prop.BackingField.GetInferredNullableAnnotation()); 11217Assert.Equal(NullableAnnotation.Annotated, prop.BackingField.GetInferredNullableAnnotation()); 11244Assert.Equal(NullableAnnotation.Annotated, prop.BackingField.TypeWithAnnotations.NullableAnnotation); 11269Assert.Equal(NullableAnnotation.Annotated, prop.BackingField.GetInferredNullableAnnotation()); 11298Assert.Equal(NullableAnnotation.Annotated, prop.BackingField.GetInferredNullableAnnotation()); 11322Assert.Equal(NullableAnnotation.Annotated, prop.BackingField.GetInferredNullableAnnotation()); 11436Assert.Equal(NullableAnnotation.Annotated, prop.BackingField.GetInferredNullableAnnotation()); 11475Assert.Equal(NullableAnnotation.Annotated, prop.BackingField.GetInferredNullableAnnotation()); 11507Assert.Equal(NullableAnnotation.Annotated, prop.BackingField.GetInferredNullableAnnotation()); 11596Assert.Equal(NullableAnnotation.Annotated, prop.BackingField.GetInferredNullableAnnotation()); 11663Assert.Equal(NullableAnnotation.Annotated, sourceField.GetInferredNullableAnnotation()); 11701Assert.Equal(NullableAnnotation.Annotated, sourceField.TypeWithAnnotations.NullableAnnotation); 11738Assert.Equal(NullableAnnotation.Annotated, sourceField.GetInferredNullableAnnotation()); 11759Assert.Equal(NullableAnnotation.Annotated, sourceField.GetInferredNullableAnnotation()); 11894Assert.Equal(NullableAnnotation.Annotated, sourceField.GetInferredNullableAnnotation()); 11924Assert.Equal(NullableAnnotation.Annotated, sourceField.GetInferredNullableAnnotation()); 11967Assert.Equal(NullableAnnotation.Annotated, sourceField.GetInferredNullableAnnotation()); 11996Assert.Equal(NullableAnnotation.Annotated, sourceField.GetInferredNullableAnnotation()); 12094Assert.Equal(NullableAnnotation.Annotated, sourceField.GetInferredNullableAnnotation()); 12158Assert.Equal(NullableAnnotation.Annotated, sourceField.GetInferredNullableAnnotation()); 12256Assert.Equal(NullableAnnotation.Annotated, sourceField.GetInferredNullableAnnotation());

2780Assert.Equal(NullableAnnotation.Annotated, f.TypeWithAnnotations.NullableAnnotation);

24285Assert.Equal(NullableAnnotation.Annotated, tupleElements[0].NullableAnnotation); 24400Assert.Equal(NullableAnnotation.Annotated, typeArguments[0].NullableAnnotation);

15666var funcOfObjectNullable = funcOfT.Construct(ImmutableArray.Create(TypeWithAnnotations.Create(objectType, NullableAnnotation.Annotated))); 15667var funcOfStringNullable = funcOfT.Construct(ImmutableArray.Create(TypeWithAnnotations.Create(stringType, NullableAnnotation.Annotated)));

11181verify("C1.F2", "System.String?", NullableAnnotation.Annotated); 11183verify("C1.F4", "System.Int32?", NullableAnnotation.Annotated); 11184verify("C1.F5", "System.Int32?", NullableAnnotation.Annotated); 11186verify("C2.F2", "System.String?", NullableAnnotation.Annotated); 11188verify("C2.F4", "System.Int32?", NullableAnnotation.Annotated); 11189verify("C2.F5", "System.Int32?", NullableAnnotation.Annotated); 11191verify("C3.F2", "System.String?", NullableAnnotation.Annotated); 11193verify("C3.F4", "System.Int32?", NullableAnnotation.Annotated); 11194verify("C3.F5", "System.Int32?", NullableAnnotation.Annotated); 11277verify("C1.F2", "T?", NullableAnnotation.Annotated); 11279verify("C1.F4", "T?", NullableAnnotation.Annotated); 11281verify("C1.F6", "T?", NullableAnnotation.Annotated); 11282verify("C1.F7", "T?", NullableAnnotation.Annotated); 11284verify("C2.F2", "T?", NullableAnnotation.Annotated); 11286verify("C2.F4", "T?", NullableAnnotation.Annotated); 11288verify("C2.F6", "T?", NullableAnnotation.Annotated); 11289verify("C2.F7", "T?", NullableAnnotation.Annotated); 11291verify("C3.F2", "T?", NullableAnnotation.Annotated); 11293verify("C3.F4", "T?", NullableAnnotation.Annotated); 11295verify("C3.F6", "T?", NullableAnnotation.Annotated); 11296verify("C3.F7", "T?", NullableAnnotation.Annotated); 12100Assert.Equal(NullableAnnotation.Annotated, m1.Parameters[0].TypeWithAnnotations.NullableAnnotation); 13899Assert.Equal(NullableAnnotation.Annotated, m1.Parameters[0].TypeWithAnnotations.NullableAnnotation); 13905Assert.Equal(NullableAnnotation.Annotated, m2.ReturnTypeWithAnnotations.NullableAnnotation); 59066Assert.Equal(NullableAnnotation.Annotated, symbol.TypeWithAnnotations.NullableAnnotation); 59128Assert.Equal(NullableAnnotation.Annotated, symbol.TypeWithAnnotations.NullableAnnotation); 59160Assert.Equal(NullableAnnotation.Annotated, symbol.TypeWithAnnotations.NullableAnnotation); 59189Assert.Equal(NullableAnnotation.Annotated, symbol.TypeWithAnnotations.NullableAnnotation); 59222Assert.Equal(NullableAnnotation.Annotated, symbol.TypeWithAnnotations.NullableAnnotation); 59254Assert.Equal(NullableAnnotation.Annotated, symbol.TypeWithAnnotations.NullableAnnotation); 59287Assert.Equal(NullableAnnotation.Annotated, symbol.TypeWithAnnotations.NullableAnnotation); 59321Assert.Equal(NullableAnnotation.Annotated, symbol.TypeWithAnnotations.NullableAnnotation); 59348Assert.Equal(NullableAnnotation.Annotated, symbol.TypeWithAnnotations.NullableAnnotation); 59378Assert.Equal(NullableAnnotation.Annotated, type.NullableAnnotation); 59406Assert.Equal(NullableAnnotation.Annotated, symbol.TypeWithAnnotations.NullableAnnotation); 59410Assert.Equal(NullableAnnotation.Annotated, symbol.TypeWithAnnotations.NullableAnnotation); 59414Assert.Equal(NullableAnnotation.Annotated, symbol.TypeWithAnnotations.NullableAnnotation); 71324Assert.Equal(NullableAnnotation.Annotated, symbol.TypeWithAnnotations.NullableAnnotation); 71360Assert.Equal(NullableAnnotation.Annotated, symbol.TypeWithAnnotations.NullableAnnotation); 71363Assert.Equal(NullableAnnotation.Annotated, symbol.TypeWithAnnotations.NullableAnnotation); 71401Assert.Equal(NullableAnnotation.Annotated, symbol.TypeWithAnnotations.NullableAnnotation); 71404Assert.Equal(NullableAnnotation.Annotated, symbol.TypeWithAnnotations.NullableAnnotation); 71438Assert.Equal(NullableAnnotation.Annotated, symbol.TypeWithAnnotations.NullableAnnotation); 71441Assert.Equal(NullableAnnotation.Annotated, symbol.TypeWithAnnotations.NullableAnnotation); 71510Assert.Equal(NullableAnnotation.Annotated, symbol.TypeWithAnnotations.NullableAnnotation); 71513Assert.Equal(NullableAnnotation.Annotated, symbol.TypeWithAnnotations.NullableAnnotation); 71583Assert.Equal(NullableAnnotation.Annotated, symbol.TypeWithAnnotations.NullableAnnotation); 113182m1.Construct(ImmutableArray.Create(TypeWithAnnotations.Create(a, NullableAnnotation.Annotated))), 113189m1.Construct(ImmutableArray.Create(TypeWithAnnotations.Create(a, NullableAnnotation.Annotated))), 115876var c3 = cDefinition.Construct(ImmutableArray.Create(TypeWithAnnotations.Create(cDefinition.TypeParameters.Single(), NullableAnnotation.Annotated))); 115906var i1 = iDefinition.Construct(ImmutableArray.Create(TypeWithAnnotations.Create(iDefinition.TypeParameters.Single(), NullableAnnotation.Annotated))); 115927var i2b = i2.Construct(ImmutableArray.Create(TypeWithAnnotations.Create(iDefinition.TypeParameters.Single(), NullableAnnotation.Annotated))); 115932var i2c = i2.Construct(ImmutableArray.Create(TypeWithAnnotations.Create(i2.TypeParameters.Single(), NullableAnnotation.Annotated))); 115936var c3 = cDefinition.Construct(ImmutableArray.Create(TypeWithAnnotations.Create(cDefinition.TypeParameters.Single(), NullableAnnotation.Annotated))); 115941var i3b = i3.Construct(ImmutableArray.Create(TypeWithAnnotations.Create(i3.TypeParameters.Single(), NullableAnnotation.Annotated))); 126909var inputs = new[] { NullableAnnotation.Annotated, NullableAnnotation.Oblivious, NullableAnnotation.NotAnnotated }; 126914{ NullableAnnotation.Annotated, NullableAnnotation.Annotated, NullableAnnotation.Annotated }, 126915{ NullableAnnotation.Annotated, NullableAnnotation.Oblivious, NullableAnnotation.Oblivious }, 126916{ NullableAnnotation.Annotated, NullableAnnotation.Oblivious, NullableAnnotation.NotAnnotated }, 126941var inputs = new[] { NullableAnnotation.Annotated, NullableAnnotation.Oblivious, NullableAnnotation.NotAnnotated }; 126946{ NullableAnnotation.Annotated, NullableAnnotation.Oblivious, NullableAnnotation.NotAnnotated }, 126972var inputs = new[] { NullableAnnotation.Annotated, NullableAnnotation.Oblivious, NullableAnnotation.NotAnnotated }; 126977{ NullableAnnotation.Annotated, NullableAnnotation.Annotated, NullableAnnotation.NotAnnotated }, 126978{ NullableAnnotation.Annotated, NullableAnnotation.Oblivious, NullableAnnotation.NotAnnotated }, 139488Assert.True(dGoo.Parameters[0].TypeWithAnnotations.NullableAnnotation == NullableAnnotation.Annotated); 139516Assert.Equal(NullableAnnotation.Annotated, c2Goo.Parameters[0].TypeWithAnnotations.NullableAnnotation); 139544Assert.Equal(NullableAnnotation.Annotated, ((ArrayTypeSymbol)c2Goo.Parameters[0].Type).ElementTypeWithAnnotations.NullableAnnotation); 139576Assert.Equal(NullableAnnotation.Annotated, tuple.TupleElements[1].TypeWithAnnotations.NullableAnnotation); 139604Assert.Equal(NullableAnnotation.Annotated, c2Goo.ReturnTypeWithAnnotations.NullableAnnotation); 139632Assert.Equal(NullableAnnotation.Annotated, ((ArrayTypeSymbol)c2Goo.ReturnType).ElementTypeWithAnnotations.NullableAnnotation); 139664Assert.Equal(NullableAnnotation.Annotated, tuple.TupleElements[1].TypeWithAnnotations.NullableAnnotation); 139687Assert.Equal(NullableAnnotation.Annotated, dGoo.Parameters[0].TypeWithAnnotations.NullableAnnotation); 139710Assert.Equal(NullableAnnotation.Annotated, ((ArrayTypeSymbol)dGoo.Parameters[0].Type).ElementTypeWithAnnotations.NullableAnnotation); 139737Assert.Equal(NullableAnnotation.Annotated, tuple.TupleElements[1].TypeWithAnnotations.NullableAnnotation); 139760Assert.Equal(NullableAnnotation.Annotated, dGoo.ReturnTypeWithAnnotations.NullableAnnotation); 139783Assert.Equal(NullableAnnotation.Annotated, ((ArrayTypeSymbol)dGoo.ReturnType).ElementTypeWithAnnotations.NullableAnnotation); 139810Assert.Equal(NullableAnnotation.Annotated, tuple.TupleElements[1].TypeWithAnnotations.NullableAnnotation); 139835Assert.Equal(NullableAnnotation.Annotated, dGoo.ReturnTypeWithAnnotations.NullableAnnotation); 139841Assert.Equal(NullableAnnotation.Annotated, tuple.TupleElements[0].TypeWithAnnotations.NullableAnnotation); 150095Assert.Equal(NullableAnnotation.Annotated, parameterType.NullableAnnotation); 154929VerifyVariableAnnotation(model, locals[0], "T? t1", NullableAnnotation.Annotated); 154930VerifyVariableAnnotation(model, locals[1], "T? t2", NullableAnnotation.Annotated); 154931VerifyVariableAnnotation(model, locals[2], "T? t3", NullableAnnotation.Annotated); 154932VerifyVariableAnnotation(model, locals[3], "T? t4", NullableAnnotation.Annotated); 154933VerifyVariableAnnotation(model, locals[4], "T? t5", NullableAnnotation.Annotated); 154998VerifyVariableAnnotation(model, locals[0], "T? y1", NullableAnnotation.Annotated); 154999VerifyVariableAnnotation(model, locals[1], "T? y2", NullableAnnotation.Annotated); 155000VerifyVariableAnnotation(model, locals[2], "T? y3", NullableAnnotation.Annotated); 155001VerifyVariableAnnotation(model, locals[3], "T? y4", NullableAnnotation.Annotated); 155002VerifyVariableAnnotation(model, locals[4], "U? y5", NullableAnnotation.Annotated); 155010(expectedAnnotation == NullableAnnotation.Annotated) ? CodeAnalysis.NullableAnnotation.Annotated : CodeAnalysis.NullableAnnotation.NotAnnotated,

1684Assert.Equal(NullableAnnotation.Annotated, p2.TypeWithAnnotations.NullableAnnotation);

43var wrappedLocal1 = UpdatedContainingSymbolAndNullableAnnotationLocal.CreateForTest(local1, m2, TypeWithAnnotations.Create(local1.Type, NullableAnnotation.Annotated)); 44var wrappedLocal1a = UpdatedContainingSymbolAndNullableAnnotationLocal.CreateForTest(local1, m2, TypeWithAnnotations.Create(local1.Type, NullableAnnotation.Annotated));