{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"ConstraintKind::RegSubVar"}]}
                ConstraintKind::RegSubVar => {
            match c.kind {
                    let sup_vid = c.sup.as_var();