Different borrowing in match variants

[mbrubeck]

@amarao

i still feel myself very much underwhelmed by borrowck unable to see that this is invariant, neither in match, nor in a set of ifs with returns.

This will eventually be fixed by Polonius, a new borrow-checker implementation that will be much smarter about control flow and early returns.