{"ast_node_type":"variable","tokens":[{"end":50,"kind":"keyword","start":0,"text":"let"}]}
            let next = &mut next_constraints[idx];
            let head = &mut first_constraints[D::start_region(constraint.sup, constraint.sub)];
            debug_assert!(next.is_none());