{"ast_node_type":"other","tokens":[{"end":14,"kind":"keyword","start":0,"text":"],"}]}
            ],
                (post_span, format!(" {}= 1; {} }}", kind.op.chr(), base_src)),
            applicability: Applicability::MachineApplicable,