Full pattern support in overloaded let statements #12
Description
Right now, a let statement to declare a bridge variable is limited to let <ident>.... I would like to see that expanded to let <pat>..., just like Rust's regular let statement. The format of the constraints (e.g. the tuple (in("r"), inout("r"))) would have to match the type signature, with the types of the identifiers replaced by in/out constraints.
I'm not even sure if this is possible, but I think it's worth trying.