From 547e12be556a1b870a2802118947a2065e5ec1ad Mon Sep 17 00:00:00 2001 From: Scott Lagler Date: Tue, 21 Nov 2023 22:01:26 -0500 Subject: [PATCH] feat: use new hash_extract_if api --- src/core.rs | 2 +- src/lib.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/core.rs b/src/core.rs index 0151170..3664976 100644 --- a/src/core.rs +++ b/src/core.rs @@ -384,7 +384,7 @@ impl< } // Iterates over thread handles to see if they timed out or if we need to join // terminated threads. - worker_handles.drain_filter(|instance, handle| { + let _ = worker_handles.extract_if(|instance, handle| { // If there is still an handle associated to this thread... if let Some(join_handle) = handle.join_handle.as_mut() { // ... and the thread has finished running... diff --git a/src/lib.rs b/src/lib.rs index c589853..f90a968 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -157,7 +157,7 @@ #![feature(exclusive_range_pattern)] -#![feature(hash_drain_filter)] +#![feature(hash_extract_if)] #![feature(iterator_try_collect)] #![feature(map_try_insert)] #![feature(portable_simd)]