{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
        // that are not closures, then we type-check the closures. This is so
        // We do this in a pretty awful way: first we type-check any arguments
        // that we have more information about the types of arguments when we