Comment by Sharlin

Nothing really happens on the instruction level because this is all type system logic.