Actually my proposal is quite different. Most importantly, my proposal split a single mutable reference binding into multiple bindings, in the same way a typical SSA transform does. Every binding would still have "continuous" lifetime and not assuming any “two phase borrowing".
1 Like