diff --git a/kani-compiler/src/codegen_cprover_gotoc/codegen/rvalue.rs b/kani-compiler/src/codegen_cprover_gotoc/codegen/rvalue.rs
index 8a9aa4821ab6..131e40944a0f 100644
--- 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
index fef0fba66489..a5cfa347a85e 100644
--- 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
index afb9d0e2cd95..787015c6337e 100644
--- 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"]