From cc09efe44046cb5a337ef47b4751336368bf807d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?R=C3=A9mi=20Delmas?= Date: Tue, 19 Sep 2023 18:00:10 -0400 Subject: [PATCH] Update rust toolchain to nightly-2023-09-19 (#2778) Co-authored-by: Remi Delmas --- kani-compiler/src/kani_middle/reachability.rs | 8 +++----- rust-toolchain.toml | 2 +- 2 files changed, 4 insertions(+), 6 deletions(-) diff --git a/kani-compiler/src/kani_middle/reachability.rs b/kani-compiler/src/kani_middle/reachability.rs index 42afeefb81df..5ac0344c9fbd 100644 --- a/kani-compiler/src/kani_middle/reachability.rs +++ b/kani-compiler/src/kani_middle/reachability.rs @@ -457,11 +457,9 @@ impl<'a, 'tcx> MirVisitor<'tcx> for MonoItemsFnCollector<'a, 'tcx> { match self.tcx.const_eval_resolve(ParamEnv::reveal_all(), un_eval, None) { // The `monomorphize` call should have evaluated that constant already. Ok(const_val) => const_val, - Err(ErrorHandled::TooGeneric) => span_bug!( - self.body.source_info(location).span, - "Unexpected polymorphic constant: {:?}", - literal - ), + Err(ErrorHandled::TooGeneric(span)) => { + span_bug!(span, "Unexpected polymorphic constant: {:?}", literal) + } Err(error) => { warn!(?error, "Error already reported"); return; diff --git a/rust-toolchain.toml b/rust-toolchain.toml index 203b89770831..b89dd2f6a55e 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -2,5 +2,5 @@ # SPDX-License-Identifier: Apache-2.0 OR MIT [toolchain] -channel = "nightly-2023-09-18" +channel = "nightly-2023-09-19" components = ["llvm-tools-preview", "rustc-dev", "rust-src", "rustfmt"]