I don't think you're giving them enough credit. Having the type system be able to tell you that you may have a null reference exception in a complicated code b

I don't think you're giving them enough credit. Having the type system be able to tell you that you may have a null reference exception in a complicated code base is magic. I've inherited bad code bases and refactored them to use nullable references and watched lots of bugs fall out.