Update toolchain to nightly-2023-09-19

Propagate changes from rust-lang/rust#115748.
remi-delmas-3000 · Sep 19, 2023 · ca1b2ce · ca1b2ce
1 parent 43392e5
commit ca1b2ce
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/kani-compiler/src/kani_middle/reachability.rs b/kani-compiler/src/kani_middle/reachability.rs
@@ -457,8 +457,8 @@ 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,
+                    Err(ErrorHandled::TooGeneric(span)) => span_bug!(
+                        span,
                         "Unexpected polymorphic constant: {:?}",
                         literal
                     ),

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