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