Upgrade Rust toolchain nightly-2024-05-27 (#3215)

`lazy_cell` became stable: rust-lang/rust#121377. `vtable_ptr` is renamed to `_vtable_ptr`: rust-lang/rust@d83f3ca8ca. By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
model-checking · May 31, 2024 · 6cf21a8 · 6cf21a8
1 parent 4a88939
commit 6cf21a8
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 3 deletions.
diff --git a/kani-compiler/src/codegen_cprover_gotoc/codegen/rvalue.rs b/kani-compiler/src/codegen_cprover_gotoc/codegen/rvalue.rs
@@ -699,7 +699,7 @@ impl<'tcx> GotocCtx<'tcx> {
                             data_cast
                         } else {
                             let vtable_expr =
-                                meta.member("vtable_ptr", &self.symbol_table).cast_to(
+                                meta.member("_vtable_ptr", &self.symbol_table).cast_to(
                                     typ.lookup_field_type("vtable", &self.symbol_table).unwrap(),
                                 );
                             dynamic_fat_ptr(typ, data_cast, vtable_expr, &self.symbol_table)

diff --git a/kani-compiler/src/main.rs b/kani-compiler/src/main.rs
@@ -10,7 +10,6 @@
 #![recursion_limit = "256"]
 #![feature(box_patterns)]
 #![feature(rustc_private)]
-#![feature(lazy_cell)]
 #![feature(more_qualified_paths)]
 #![feature(iter_intersperse)]
 #![feature(let_chains)]

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-2024-05-24"
+channel = "nightly-2024-05-27"
 components = ["llvm-tools-preview", "rustc-dev", "rust-src", "rustfmt"]