limitations on matching on moved values

[nikomatsakis]

I think we should impose the following limitations when you have a match move v { ... }:

• no explicit ref nor copy bindings, always use default mode which will be move
• disallow x @ P patterns (that basically requires a copy or a ref)

I don't see how anything else makes much sense.

[nikomatsakis]

this is basically done.