fn ids_keeping_stripped(
    items: impl IntoIterator<Item = Item>,
    tcx: TyCtxt<'_>
) -> Vec<Option<Id>>