If you have a null-aware type system, then you just can’t call your function with a null, so no bug? Also, if you just annotated the same implementation that a

If you have a null-aware type system, then you just can’t call your function with a null, so no bug? Also, if you just annotated the same implementation that already didn’t handle nulls properly, how is it any different? Your code would just die at runtime a few lines later, with a less explicit errorz