Well I would prefer to have both. I don't think we need to choose. However, I think tests are high-maintenance. Often they consume the same amount of time to w

Well I would prefer to have both. I don't think we need to choose. However, I think tests are high-maintenance. Often they consume the same amount of time to write as the actual business code. I don't know how automatic null checking tests would work. Wouldn't you need to specify what happens if a null is input? In contrast, I find the cost if typing very low for the value it delivers. Unless the code is very ephemeral (like a one off script) then I highly prefer typing.