Esta información ayuda al compilador a realizar comprobaciones estáticas y a añadir comprobaciones en tiempo de ejecución en las precondiciones de los métodos, los cuáles pueden ayudar a anular errores relacionados con las referencias nulas.