Upgrade rust toolchain to 2023-04-30 (rust-lang#2456)

zhassan-aws · celinval · web-flow · commit 59b475909948 · 2023-06-09T19:22:10.000Z
Co-authored-by: Celina G. Val &lt;celinval@amazon.com&gt;
diff --git a/rust-toolchain.toml b/rust-toolchain.toml
@@ -2,5 +2,5 @@
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
 [toolchain]
-channel = "nightly-2023-04-29"
+channel = "nightly-2023-04-30"
 components = ["llvm-tools-preview", "rustc-dev", "rust-src", "rustfmt"]
diff --git a/tests/cargo-ui/unstable-attr/invalid/expected b/tests/cargo-ui/unstable-attr/invalid/expected
@@ -1,4 +1,4 @@
-error: failed to parse `#[kani::unstable]`: expected "key = value" pair, but found\
+error: failed to parse `#[kani::unstable]`: missing `feature` field\
 src/lib.rs\
 |\
 | #[kani::unstable(\

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		-error: failed to parse `#[kani::unstable]`: expected "key = value" pair, but found\
	`1`	+error: failed to parse `#[kani::unstable]`: missing `feature` field\
`2`	`2`	`src/lib.rs\`
`3`	`3`	`\|\`
`4`	`4`	`\| #[kani::unstable(\`