{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"(bodies"}]}
   (bodies of function expressions are checked as part of the
   Within the check phase, we check each function body one at a time
   containing function). Inference is used to supply types wherever