{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"//"}]}
        // Convert to the SCC representative: sometimes we have inference
        // variables in the member constraint that wind up equated with