Update the rust-toolchain

model-checking · Dec 20, 2023 · 0f25184 · 0f25184
1 parent b672e9b
commit 0f25184
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/kani-compiler/src/session.rs b/kani-compiler/src/session.rs
@@ -9,7 +9,7 @@ use rustc_errors::{
     ColorConfig, Diagnostic, TerminalUrl,
 };
 use rustc_session::config::ErrorOutputType;
-use rustc_session::EarlyErrorHandler;
+use rustc_session::EarlyDiagCtxt;
 use std::io::IsTerminal;
 use std::panic;
 use std::sync::LazyLock;
@@ -71,7 +71,7 @@ pub fn init_session(args: &Arguments, json_hook: bool) {
     // Initialize the rustc logger using value from RUSTC_LOG. We keep the log control separate
     // because we cannot control the RUSTC log format unless if we match the exact tracing
     // version used by RUSTC.
-    let handler = EarlyErrorHandler::new(ErrorOutputType::default());
+    let handler = EarlyDiagCtxt::new(ErrorOutputType::default());
     rustc_driver::init_rustc_env_logger(&handler);
 
     // Install Kani panic hook.

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-12-18"
+channel = "nightly-2023-12-20"
 components = ["llvm-tools-preview", "rustc-dev", "rust-src", "rustfmt"]