{"ast_node_type":"variable","tokens":[{"end":50,"kind":"keyword","start":0,"text":"let"}]}
                        let origin = get_origin();
                    ConstraintKind::RegSubVar => {
                        state.result.push(RegionAndOrigin { region: edge.data.sub, origin });