move_val_init
Because of its "magic" order-of-evaluation semantics, `move_val_init` must be lowered during MIR construction in order to work.