diff --git a/compiler/rustc_mir_dataflow/src/framework/cursor.rs b/compiler/rustc_mir_dataflow/src/framework/cursor.rs index c9bce80853d..5a77b2eff72 100644 --- a/compiler/rustc_mir_dataflow/src/framework/cursor.rs +++ b/compiler/rustc_mir_dataflow/src/framework/cursor.rs @@ -104,7 +104,7 @@ where } } -impl<'res, 'mir, 'tcx, A> ResultsCursor<'mir, 'tcx, A, ResultsCloned<'res, 'tcx, A>> +impl<'res, 'mir, 'tcx, A> ResultsClonedCursor<'res, 'mir, 'tcx, A> where A: Analysis<'tcx> + CloneAnalysis, { diff --git a/compiler/rustc_mir_dataflow/src/framework/engine.rs b/compiler/rustc_mir_dataflow/src/framework/engine.rs index ed82b1e8cdc..00a74b0d770 100644 --- a/compiler/rustc_mir_dataflow/src/framework/engine.rs +++ b/compiler/rustc_mir_dataflow/src/framework/engine.rs @@ -80,6 +80,7 @@ where visit_results(body, blocks.map(|(bb, _)| bb), self, vis) } } + impl<'tcx, A> Results<'tcx, A> where A: Analysis<'tcx>, @@ -92,6 +93,7 @@ where ResultsCursor::new(body, self) } } + impl<'tcx, A> Results<'tcx, A> where A: Analysis<'tcx> + CloneAnalysis, @@ -113,7 +115,8 @@ where self.clone_analysis().into_results_cursor(body) } } -impl<'res, 'tcx, A> Results<'tcx, A, &'res EntrySets<'tcx, A>> + +impl<'res, 'tcx, A> ResultsCloned<'res, 'tcx, A> where A: Analysis<'tcx> + CloneAnalysis, {