Nullability annotations и nullable reference types в C# 8+?

#nullable enable

public class UserService
{
    public string GetDisplayName(User user)           // user — не null по контракту
    {
        return user.Nickname.ToUpper();               // warning CS8602: Nickname может быть null
    }
}

public class User
{
    public string Email { get; set; } = "";           // не-null, инициализирован
    public string? Nickname { get; set; }             // может отсутствовать
}

<PropertyGroup>
  <Nullable>enable</Nullable>
  <!-- Сделать все nullable-предупреждения ошибками -->
  <WarningsAsErrors>nullable</WarningsAsErrors>
</PropertyGroup>

#nullable enable        // включить для файла
#nullable disable       // выключить
#nullable restore       // вернуть настройку проекта

string? name = GetName();

int len1 = name?.Length ?? 0;         // ?. и ?? — безопасный доступ и значение по умолчанию
name ??= "Гость";                     // присвоить, если null
int len2 = name!.Length;              // ! — подавить предупреждение (ответственность на вас)

ArgumentNullException.ThrowIfNull(user);   // после этой строки компилятор знает: user не null

public class Order
{
    // 1. Обязательное значение через конструктор
    public Order(string number) => Number = number;
    public string Number { get; }

    // 2. required (C# 11) — обязателен при создании через инициализатор
    public required string CustomerEmail { get; init; }

    // 3. Необязательное
    public string? Comment { get; set; }

    // 4. Значение по умолчанию
    public List<OrderLine> Lines { get; } = new();
}

var o = new Order("A-1") { CustomerEmail = "a@b.uz" };   // без CustomerEmail — ошибка компиляции

// «Если метод вернул true — value не null»
public bool TryGetUser(int id, [NotNullWhen(true)] out User? user)
{
    user = _cache.GetValueOrDefault(id);
    return user is not null;
}

if (TryGetUser(5, out var u))
    Console.WriteLine(u.Email);   // без предупреждения

// «Если вход не null — выход не null»
[return: NotNullIfNotNull(nameof(input))]
public static string? Normalize(string? input) => input?.Trim();

// «После вызова метода поле инициализировано»
[MemberNotNull(nameof(_connection))]
private void EnsureConnected() => _connection ??= CreateConnection();

// «Метод никогда не возвращает управление»
[DoesNotReturn]
public static void Throw(string message) => throw new InvalidOperationException(message);

// T? для неограниченного T означает «default(T)» — null для ссылочных, 0 для int
public T? FindOrDefault<T>(IEnumerable<T> items, Func<T, bool> predicate) { ... }

// Ограничение notnull — T не может быть nullable-типом
public class Cache<TKey, TValue> where TKey : notnull { }