El compilador realizará un análisis en tiempo de compilación para asegurarse de que las referencias se asigna a referencias que no pueden se nulas.