{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"*state"}]}
        *state = State::new_reachable();
        assert_matches!(state, State::Unreachable);
        for arg in body.args_iter() {