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