La verificación de los tipos es hecha durante la compilación, y el intento de acceso a un campo no existente causara un error de compilación.