7.2.24 refers to move operator in pattern matches

[jdm]

This can be made explicit using the copy keyword, changed to bind to a borrowed pointer by using the ref keyword, or to a mutable borrowed pointer using ref mut, or the value can be moved into the new binding using move.

Move no longer exists.

[catamorphism]

Fixing this

[catamorphism]

Fixed pending #6711

[catamorphism]

5787bf3 closes