From 5e17be759bcba2cc8a38bcb898ac2002d7a9b047 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tom=C3=A1=C5=A1=20Zemanovi=C4=8D?= <tzemanovic@gmail.com>
Date: Wed, 25 Oct 2023 08:38:09 +0200
Subject: [PATCH] fix nightly build (re:
 https://github.com/rust-lang/rust/pull/116958)

---
 proptest/src/arbitrary/_alloc/ops.rs | 14 +++++++-------
 proptest/src/lib.rs                  |  2 +-
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/proptest/src/arbitrary/_alloc/ops.rs b/proptest/src/arbitrary/_alloc/ops.rs
index 338f52c5..ab1ffa7b 100644
--- a/proptest/src/arbitrary/_alloc/ops.rs
+++ b/proptest/src/arbitrary/_alloc/ops.rs
@@ -48,14 +48,14 @@ lift1!([PartialOrd] Range<A>; base => {
 
 #[cfg(feature = "unstable")]
 arbitrary!(
-    [Y: Arbitrary, R: Arbitrary] GeneratorState<Y, R>,
+    [Y: Arbitrary, R: Arbitrary] CoroutineState<Y, R>,
     TupleUnion<(WA<SMapped<Y, Self>>, WA<SMapped<R, Self>>)>,
     product_type![Y::Parameters, R::Parameters];
     args => {
         let product_unpack![y, r] = args;
         prop_oneof![
-            static_map(any_with::<Y>(y), GeneratorState::Yielded),
-            static_map(any_with::<R>(r), GeneratorState::Complete)
+            static_map(any_with::<Y>(y), CoroutineState::Yielded),
+            static_map(any_with::<R>(r), CoroutineState::Complete)
         ]
     }
 );
@@ -65,7 +65,7 @@ use core::fmt;
 
 #[cfg(feature = "unstable")]
 impl<A: fmt::Debug + 'static, B: fmt::Debug + 'static>
-    functor::ArbitraryF2<A, B> for GeneratorState<A, B>
+    functor::ArbitraryF2<A, B> for CoroutineState<A, B>
 {
     type Parameters = ();
 
@@ -79,8 +79,8 @@ impl<A: fmt::Debug + 'static, B: fmt::Debug + 'static>
         BS: Strategy<Value = B> + 'static,
     {
         prop_oneof![
-            fst.prop_map(GeneratorState::Yielded),
-            snd.prop_map(GeneratorState::Complete)
+            fst.prop_map(CoroutineState::Yielded),
+            snd.prop_map(CoroutineState::Complete)
         ]
         .boxed()
     }
@@ -99,6 +99,6 @@ mod test {
 
     #[cfg(feature = "unstable")]
     no_panic_test!(
-        generator_state => GeneratorState<u32, u64>
+        generator_state => CoroutineState<u32, u64>
     );
 }
diff --git a/proptest/src/lib.rs b/proptest/src/lib.rs
index 72b90ffb..aa5c9e8c 100644
--- a/proptest/src/lib.rs
+++ b/proptest/src/lib.rs
@@ -24,7 +24,7 @@
 ))]
 #![cfg_attr(
     feature = "unstable",
-    feature(allocator_api, try_trait_v2, generator_trait, never_type)
+    feature(allocator_api, try_trait_v2, coroutine_trait, never_type)
 )]
 #![cfg_attr(all(feature = "std", feature = "unstable"), feature(ip))]
 #![cfg_attr(docsrs, feature(doc_cfg))]