{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"//"}]}
        // a fresh inference variable.
        // given variable in the loop above, use that. Otherwise, use
        let result_args = CanonicalVarValues {