A rewrite rule is a code generation rule, semantic checking happens much 
earlier and so when you explicitly call `system.move(arg)` the `arg` must still 
be mutable.

Reply via email to