{"ast_node_type":"variable","tokens":[{"end":59,"kind":"keyword","start":0,"text":"let"}]}
                    let r = self.next_region_var(coercion);
                    let coercion = RegionVariableOrigin::Coercion(span);
                    r_borrow_var = Some(r); // [4] above