{"ast_node_type":"other","tokens":[{"end":25,"kind":"keyword","start":0,"text":"args,"}]}
                    args,
                    self.def_path_str(def_id),
                    // Make `[Self, GAT_ARGS...]` (this could be simplified)