{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"//"}]}
        // make no progress. This is partly a micro-optimization, but it's
        // Check for two unresolved inference variables, in which case we can
        // also an opportunity to "sub-unify" the variables. This isn't