{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                format!("`dyn {}`", tcx.def_path_str(principal.def_id())).into()
            ty::Dynamic(..) => "trait object".into(),