Nullable values and compile-time null safety