about summary refs log tree commit diff
diff options
context:
space:
mode:
authorNicholas Nethercote <n.nethercote@gmail.com>2023-11-23 16:26:55 +1100
committerNicholas Nethercote <n.nethercote@gmail.com>2023-11-27 10:35:42 +1100
commitb85cba87e45b75010f138006f0f17c5883a452bc (patch)
tree5dd3653e1f216e7a82968b7bb1b596953b09a5e5
parent1bcbb7c93b96828092e83e52d592faa046183d6c (diff)
downloadrust-b85cba87e45b75010f138006f0f17c5883a452bc.tar.gz
rust-b85cba87e45b75010f138006f0f17c5883a452bc.zip
Use typedefs to clarify some impls.
And insert some whitespace.
-rw-r--r--compiler/rustc_mir_dataflow/src/framework/cursor.rs2
-rw-r--r--compiler/rustc_mir_dataflow/src/framework/engine.rs5
2 files changed, 5 insertions, 2 deletions
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,
 {