{"ast_node_type":"other","tokens":[{"end":48,"kind":"keyword","start":0,"text":"DefiningTy::Const(def_id,"}]}
            DefiningTy::Const(def_id, args) => {
            }
                err.note(format!(