{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"diag.arg(\"post\","}]}
        diag.arg("post", self.post);
        diag.arg("pre", self.pre);
        diag.arg("def", self.cx.tcx.def_path_str(self.def_id));