fn def_id_to_path(tcx: TyCtxt<'_>, did: DefId) -> Vec<Symbol>