diff --git a/ci/rust-toolchain b/ci/rust-toolchain
index 94ee6fc908..45a14b25a3 100644
--- a/ci/rust-toolchain
+++ b/ci/rust-toolchain
@@ -1,3 +1,3 @@
 [toolchain]
-channel = "nightly-2023-06-25"
+channel = "nightly-2023-06-29"
 components = [ "rustfmt", "rustc-dev", "llvm-tools" ]
diff --git a/creusot/src/extended_location.rs b/creusot/src/extended_location.rs
index 4928aac7b8..cfff054da4 100644
--- a/creusot/src/extended_location.rs
+++ b/creusot/src/extended_location.rs
@@ -1,5 +1,5 @@
 use rustc_middle::mir::Location;
-use rustc_mir_dataflow::{self as dataflow, Analysis, Results, ResultsCursor};
+use rustc_mir_dataflow::{self as dataflow, Analysis, AnalysisResults, Results, ResultsCursor};
 use std::borrow::Borrow;
 
 // Dataflow locations
@@ -39,6 +39,7 @@ impl ExtendedLocation {
     where
         A: Analysis<'tcx, Direction = D>,
         D: Dir,
+        R: AnalysisResults<'tcx, A>,
         R: Borrow<Results<'tcx, A>>,
     {
         use ExtendedLocation::*;