finished patching rust-lang/rust#108293

reuses rust-lang/rust#113089 and the corresponding nightly
floriangru · Jul 6, 2023 · f468e4f · f468e4f
1 parent 0bf6ec0
commit f468e4f
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git 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
@@ -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::*;