{"ast_node_type":"other","tokens":[{"end":28,"kind":"keyword","start":0,"text":"(infcx,"}]}
        (infcx, value, args)
        let (value, args) = infcx.instantiate_canonical(span, &input.canonical);
    }