finished patching rust-lang/rust#108293

reuses rust-lang/rust#113089 and the corresponding nightly

Author: floriangru

ci/rust-toolchain

@@ -1,3 +1,3 @@
 [toolchain]
-channel = "nightly-2023-06-25"
+channel = "nightly-2023-06-29"
 components = [ "rustfmt", "rustc-dev", "llvm-tools" ]

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::*;