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