fn ids(items: impl IntoIterator<Item = Item>, tcx: TyCtxt<'_>) -> Vec<Id>Notable traits for Vec<u8, A>impl<A> Write for Vec<u8, A>where
    A: Allocator,