Convert predicates into Predicate in the Obligation constructor

[rust.git] / rust-toolchain

diff --git a/rust-toolchain b/rust-toolchain
index cd398451783d6bc53b03596e5b7a55956c9a19d3..748d8a317160f415ec61252dd5f92e316dabaecc 100644 (file)
--- a/rust-toolchain
+++ b/rust-toolchain
@@ -1,3 +1,3 @@
 [toolchain]
-channel = "nightly-2021-04-22"
-components = ["llvm-tools-preview", "rustc-dev", "rust-src"]
+channel = "nightly-2022-10-20"
+components = ["cargo", "llvm-tools-preview", "rust-src", "rust-std", "rustc", "rustc-dev", "rustfmt"]