Since both vectors are ensured by the type system to have exactly the same length, we can be sure at compile time that this case will not occur.
Deoarece ambii vectori sunt asigurați de sistemul de tip pentru a avea exact aceeași lungime, putem fi siguri la momentul compilării că acest caz nu va avea loc.