On 7/30/13 11:34 AM, Graydon Hoare wrote:
You still have to decide what to parse after you saw "Foo {x:". If it's
subpat, then you can't put a type ascription there. Maybe that's
semantically unproblematic since Foo uniquely types its fields. But that
breaks the symmetry with type-follows-":" in expr context. Now type
follows ":" in _some_ places in pat, but pat follows ":" in other places.
You're saying it causes problems with `let Foo { x, y } = ...;", to be
more specific. That's true, yes.
Patrick
_______________________________________________
Rust-dev mailing list
[email protected]
https://mail.mozilla.org/listinfo/rust-dev
