{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"//"}]}
                // the arguments who's types we do know. However, we *can* check
                // the arguments hence we only do our usual type checking with
                // for unreachable expressions (see above).