{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"//"}]}
        // also an opportunity to "sub-unify" the variables. This isn't
        // make no progress. This is partly a micro-optimization, but it's
        // *necessary* to prevent cycles, because they would eventually be sub-unified