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; base => { #[cfg(feature = "unstable")] arbitrary!( - [Y: Arbitrary, R: Arbitrary] GeneratorState, + [Y: Arbitrary, R: Arbitrary] CoroutineState, TupleUnion<(WA>, WA>)>, product_type![Y::Parameters, R::Parameters]; args => { let product_unpack![y, r] = args; prop_oneof![ - static_map(any_with::(y), GeneratorState::Yielded), - static_map(any_with::(r), GeneratorState::Complete) + static_map(any_with::(y), CoroutineState::Yielded), + static_map(any_with::(r), CoroutineState::Complete) ] } ); @@ -65,7 +65,7 @@ use core::fmt; #[cfg(feature = "unstable")] impl - functor::ArbitraryF2 for GeneratorState + functor::ArbitraryF2 for CoroutineState { type Parameters = (); @@ -79,8 +79,8 @@ impl BS: Strategy + '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 + generator_state => CoroutineState ); } 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))]