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