{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"fcx.closure_analyze(body);"}]}
    fcx.closure_analyze(body);
    // because they don't constrain other type variables.
    assert!(fcx.deferred_call_resolutions.borrow().is_empty());