fn def_id_to_path(tcx: TyCtxt<'_>, did: DefId) -> Vec<Symbol>Notable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where
    A: Allocator,