Bump proptest from 1.8.0 to 1.10.0 (#796)

* Bump proptest from 1.8.0 to 1.10.0

Bumps [proptest](https://github.com/proptest-rs/proptest) from 1.8.0 to 1.10.0.
- [Release notes](https://github.com/proptest-rs/proptest/releases)
- [Changelog](https://github.com/proptest-rs/proptest/blob/main/CHANGELOG.md)
- [Commits](proptest-rs/proptest@v1.8.0...v1.10.0)

---
updated-dependencies:
- dependency-name: proptest
  dependency-version: 1.10.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>

* Update UI test expected outputs for Rust 1.84

Remove ', which is required by ...' suffix from error messages
that Rust 1.84 no longer includes in this specific error context.

* Upgrade CI image to Rust 1.84.0 for proptest 1.10.0 compatibility

* Fixes

* Forgot

---------

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: Bastian Köcher <info@kchr.de>

Author: dependabot[bot]

.github/workflows/ci.yml

@@ -7,7 +7,7 @@ on:
   pull_request:
 
 env:
-  IMAGE: paritytech/ci-unified:bullseye-1.81.0
+  IMAGE: paritytech/ci-unified:bullseye-1.84.0
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
   cancel-in-progress: true

Cargo.lock

@@ -27,7 +27,7 @@ criterion = "0.7.0"
 serde_derive = { version = "1.0" }
 parity-scale-codec-derive = { path = "derive", default-features = false }
 quickcheck = "1.0"
-proptest = "1.8.0"
+proptest = "1.10.0"
 trybuild = "1.0.115"
 paste = "1"
 rustversion = "1.0.6"

Cargo.toml

@@ -29,7 +29,7 @@ struct ContainIdents<'a> {
 	idents: &'a [Ident],
 }
 
-impl<'a, 'ast> Visit<'ast> for ContainIdents<'a> {
+impl<'ast> Visit<'ast> for ContainIdents<'_> {
 	fn visit_ident(&mut self, i: &'ast Ident) {
 		if self.idents.iter().any(|id| id == i) {
 			self.result = true;
@@ -50,7 +50,7 @@ struct TypePathStartsWithIdent<'a> {
 	ident: &'a Ident,
 }
 
-impl<'a, 'ast> Visit<'ast> for TypePathStartsWithIdent<'a> {
+impl<'ast> Visit<'ast> for TypePathStartsWithIdent<'_> {
 	fn visit_type_path(&mut self, i: &'ast TypePath) {
 		if let Some(segment) = i.path.segments.first() {
 			if &segment.ident == self.ident {
@@ -85,7 +85,7 @@ struct FindTypePathsNotStartOrContainIdent<'a> {
 	ident: &'a Ident,
 }
 
-impl<'a, 'ast> Visit<'ast> for FindTypePathsNotStartOrContainIdent<'a> {
+impl<'ast> Visit<'ast> for FindTypePathsNotStartOrContainIdent<'_> {
 	fn visit_type_path(&mut self, i: &'ast TypePath) {
 		if type_path_or_sub_starts_with_ident(i, self.ident) {
 			visit::visit_type_path(self, i);

derive/src/trait_bounds.rs

@@ -449,15 +449,15 @@ fn check_field_attribute(attr: &Attribute) -> syn::Result<()> {
 			return Err(syn::Error::new(attr.meta.span(), field_error));
 		}
 		match nested.first().expect("Just checked that there is one item; qed") {
-			Meta::Path(path) if path.get_ident().map_or(false, |i| i == "skip") => Ok(()),
+			Meta::Path(path) if path.get_ident().is_some_and(|i| i == "skip") => Ok(()),
 
-			Meta::Path(path) if path.get_ident().map_or(false, |i| i == "compact") => Ok(()),
+			Meta::Path(path) if path.get_ident().is_some_and(|i| i == "compact") => Ok(()),
 
 			Meta::NameValue(MetaNameValue {
 				path,
 				value: Expr::Lit(ExprLit { lit: Lit::Str(lit_str), .. }),
 				..
-			}) if path.get_ident().map_or(false, |i| i == "encoded_as") =>
+			}) if path.get_ident().is_some_and(|i| i == "encoded_as") =>
 				TokenStream::from_str(&lit_str.value())
 					.map(|_| ())
 					.map_err(|_e| syn::Error::new(lit_str.span(), "Invalid token stream")),
@@ -482,13 +482,13 @@ fn check_variant_attribute(attr: &Attribute) -> syn::Result<()> {
 			return Err(syn::Error::new(attr.meta.span(), variant_error));
 		}
 		match nested.first().expect("Just checked that there is one item; qed") {
-			Meta::Path(path) if path.get_ident().map_or(false, |i| i == "skip") => Ok(()),
+			Meta::Path(path) if path.get_ident().is_some_and(|i| i == "skip") => Ok(()),
 
 			Meta::NameValue(MetaNameValue {
 				path,
 				value: Expr::Lit(ExprLit { lit: Lit::Int(_), .. }),
 				..
-			}) if path.get_ident().map_or(false, |i| i == "index") => Ok(()),
+			}) if path.get_ident().is_some_and(|i| i == "index") => Ok(()),
 
 			elt => Err(syn::Error::new(elt.span(), variant_error)),
 		}
@@ -516,8 +516,7 @@ fn check_top_attribute(attr: &Attribute) -> syn::Result<()> {
 			return Err(syn::Error::new(attr.meta.span(), top_error));
 		}
 		match nested.first().expect("Just checked that there is one item; qed") {
-			Meta::Path(path) if path.get_ident().map_or(false, |i| i == "dumb_trait_bound") =>
-				Ok(()),
+			Meta::Path(path) if path.get_ident().is_some_and(|i| i == "dumb_trait_bound") => Ok(()),
 
 			elt => Err(syn::Error::new(elt.span(), top_error)),
 		}

derive/src/utils.rs

@@ -8,7 +8,7 @@ error[E0277]: the trait bound `Example: Encode` is not satisfied
  --> tests/max_encoded_len_ui/crate_str.rs:5:8
   |
 5 | struct Example;
-  |        ^^^^^^^ the trait `WrapperTypeEncode` is not implemented for `Example`, which is required by `Example: Encode`
+  |        ^^^^^^^ the trait `WrapperTypeEncode` is not implemented for `Example`
   |
   = help: the following other types implement trait `WrapperTypeEncode`:
             &T
@@ -31,7 +31,7 @@ error[E0277]: the trait bound `Example: Encode` is not satisfied
  --> tests/max_encoded_len_ui/crate_str.rs:8:10
   |
 8 |     let _ = Example::max_encoded_len();
-  |             ^^^^^^^ the trait `WrapperTypeEncode` is not implemented for `Example`, which is required by `Example: Encode`
+  |             ^^^^^^^ the trait `WrapperTypeEncode` is not implemented for `Example`
   |
   = help: the following other types implement trait `WrapperTypeEncode`:
             &T

tests/max_encoded_len_ui/crate_str.stderr

@@ -8,7 +8,7 @@ error[E0277]: the trait bound `Example: Encode` is not satisfied
  --> tests/max_encoded_len_ui/incomplete_attr.rs:5:8
   |
 5 | struct Example;
-  |        ^^^^^^^ the trait `WrapperTypeEncode` is not implemented for `Example`, which is required by `Example: Encode`
+  |        ^^^^^^^ the trait `WrapperTypeEncode` is not implemented for `Example`
   |
   = help: the following other types implement trait `WrapperTypeEncode`:
             &T
@@ -31,7 +31,7 @@ error[E0277]: the trait bound `Example: Encode` is not satisfied
  --> tests/max_encoded_len_ui/incomplete_attr.rs:8:10
   |
 8 |     let _ = Example::max_encoded_len();
-  |             ^^^^^^^ the trait `WrapperTypeEncode` is not implemented for `Example`, which is required by `Example: Encode`
+  |             ^^^^^^^ the trait `WrapperTypeEncode` is not implemented for `Example`
   |
   = help: the following other types implement trait `WrapperTypeEncode`:
             &T

tests/max_encoded_len_ui/incomplete_attr.stderr

@@ -8,7 +8,7 @@ error[E0277]: the trait bound `Example: Encode` is not satisfied
  --> tests/max_encoded_len_ui/missing_crate_specifier.rs:5:8
   |
 5 | struct Example;
-  |        ^^^^^^^ the trait `WrapperTypeEncode` is not implemented for `Example`, which is required by `Example: Encode`
+  |        ^^^^^^^ the trait `WrapperTypeEncode` is not implemented for `Example`
   |
   = help: the following other types implement trait `WrapperTypeEncode`:
             &T
@@ -31,7 +31,7 @@ error[E0277]: the trait bound `Example: Encode` is not satisfied
  --> tests/max_encoded_len_ui/missing_crate_specifier.rs:8:10
   |
 8 |     let _ = Example::max_encoded_len();
-  |             ^^^^^^^ the trait `WrapperTypeEncode` is not implemented for `Example`, which is required by `Example: Encode`
+  |             ^^^^^^^ the trait `WrapperTypeEncode` is not implemented for `Example`
   |
   = help: the following other types implement trait `WrapperTypeEncode`:
             &T

tests/max_encoded_len_ui/missing_crate_specifier.stderr

@@ -2,7 +2,7 @@ error[E0277]: the trait bound `NotEncode: Encode` is not satisfied
  --> tests/max_encoded_len_ui/not_encode.rs:4:8
   |
 4 | struct NotEncode;
-  |        ^^^^^^^^^ the trait `WrapperTypeEncode` is not implemented for `NotEncode`, which is required by `NotEncode: Encode`
+  |        ^^^^^^^^^ the trait `WrapperTypeEncode` is not implemented for `NotEncode`
   |
   = help: the following other types implement trait `WrapperTypeEncode`:
             &T