Apparently ref can be used when binding variables during pattern matching, but I don't think that is documented. What is documented in 11.2 of the tutorial is "When you destructure on a value in a match expression, or loop over a vector with for, variables bound to the inside of the given data structure will use safe references, not copies" which I'm guessing is incorrect.