{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"-"}]}
- check: walks over function bodies and type checks them, inferring types for
  local variables, type parameters, etc as necessary.