{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"for"}]}
        for (location, msg) in validate_types(tcx, typing_env, body, body) {
        // Also run the TypeChecker.
            cfg_checker.fail(location, msg);