{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":");"}]}
        );
             syntax",
        err.span_suggestion_verbose(span, msg, sugg, Applicability::MachineApplicable);