summaryrefslogtreecommitdiffstats
path: root/vendor/proptest/src
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2024-06-19 09:26:03 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2024-06-19 09:26:03 +0000
commit9918693037dce8aa4bb6f08741b6812923486c18 (patch)
tree21d2b40bec7e6a7ea664acee056eb3d08e15a1cf /vendor/proptest/src
parentReleasing progress-linux version 1.75.0+dfsg1-5~progress7.99u1. (diff)
downloadrustc-9918693037dce8aa4bb6f08741b6812923486c18.tar.xz
rustc-9918693037dce8aa4bb6f08741b6812923486c18.zip
Merging upstream version 1.76.0+dfsg1.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to 'vendor/proptest/src')
-rw-r--r--vendor/proptest/src/arbitrary/_alloc/ops.rs14
-rw-r--r--vendor/proptest/src/lib.rs2
-rw-r--r--vendor/proptest/src/sugar.rs8
3 files changed, 12 insertions, 12 deletions
diff --git a/vendor/proptest/src/arbitrary/_alloc/ops.rs b/vendor/proptest/src/arbitrary/_alloc/ops.rs
index 338f52c50..ab1ffa7bb 100644
--- a/vendor/proptest/src/arbitrary/_alloc/ops.rs
+++ b/vendor/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/vendor/proptest/src/lib.rs b/vendor/proptest/src/lib.rs
index 72b90ffbf..aa5c9e8cf 100644
--- a/vendor/proptest/src/lib.rs
+++ b/vendor/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))]
diff --git a/vendor/proptest/src/sugar.rs b/vendor/proptest/src/sugar.rs
index 6b76b30cf..2dbd8e999 100644
--- a/vendor/proptest/src/sugar.rs
+++ b/vendor/proptest/src/sugar.rs
@@ -971,11 +971,11 @@ macro_rules! proptest_helper {
$($mod)* |$crate::sugar::NamedArguments(
_, $crate::proptest_helper!(@_WRAPPAT ($($parm),*)))|
{
- let _: () = $body;
+ let (): () = $body;
Ok(())
})
{
- Ok(_) => (),
+ Ok(()) => (),
Err(e) => panic!("{}\n{}", e, runner),
}
}};
@@ -991,11 +991,11 @@ macro_rules! proptest_helper {
$($mod)* |$crate::sugar::NamedArguments(
_, $crate::proptest_helper!(@_EXT _PAT ($($arg)*)))|
{
- let _: () = $body;
+ let (): () = $body;
Ok(())
})
{
- Ok(_) => (),
+ Ok(()) => (),
Err(e) => panic!("{}\n{}", e, runner),
}
}};