Shahar Papini

The issue is that the logic for checking which variables member paths (i.e. a.b.c), does not include snapshot tracking. Guidance: At usage.rs, MemberPath represents a path of member accesses of...

You can do `let (u1, u2) = mul(v1, v2); u1=v1; u2=v2;`. I'm not sure I'm in favor of your proposed syntax. For one, it's not supported in rust:) If we...

It's not different with tuples. you can still do ``` let mut x = (1,2); x = foo(); ``` tuple type is the same as other stuff. The request here...

Concrete suggestion: Add another pattern kind, Assignment expr. Suggested syntax: `-> x` It can be used wherever a pattern can be used (let and match arms, and nested in other...