diff options
| author | Nicholas Nethercote <n.nethercote@gmail.com> | 2023-11-24 11:18:12 +1100 |
|---|---|---|
| committer | Nicholas Nethercote <n.nethercote@gmail.com> | 2023-11-27 10:35:43 +1100 |
| commit | 34aa36b266f4e94c73392353e5651797997f5845 (patch) | |
| tree | 5561be2b08a98b2d635bc17771b7ff7bae1af876 /compiler/rustc_mir_dataflow/src/framework/engine.rs | |
| parent | 500e55ba8c07d0e2a4dce4e51ad79dac21c94d6f (diff) | |
| download | rust-34aa36b266f4e94c73392353e5651797997f5845.tar.gz rust-34aa36b266f4e94c73392353e5651797997f5845.zip | |
Remove `ResultsCloned` and `ResultsClonedCursor`.
They're now unused.
Diffstat (limited to 'compiler/rustc_mir_dataflow/src/framework/engine.rs')
| -rw-r--r-- | compiler/rustc_mir_dataflow/src/framework/engine.rs | 19 |
1 files changed, 1 insertions, 18 deletions
diff --git a/compiler/rustc_mir_dataflow/src/framework/engine.rs b/compiler/rustc_mir_dataflow/src/framework/engine.rs index 6be0cb06fc5..96a61c0d855 100644 --- a/compiler/rustc_mir_dataflow/src/framework/engine.rs +++ b/compiler/rustc_mir_dataflow/src/framework/engine.rs @@ -25,7 +25,7 @@ use super::fmt::DebugWithContext; use super::graphviz; use super::{ visit_results, Analysis, AnalysisDomain, Direction, GenKill, GenKillAnalysis, GenKillSet, - JoinSemiLattice, ResultsClonedCursor, ResultsCursor, ResultsVisitor, + JoinSemiLattice, ResultsCursor, ResultsVisitor, }; pub type EntrySets<'tcx, A> = IndexVec<BasicBlock, <A as AnalysisDomain<'tcx>>::Domain>; @@ -41,9 +41,6 @@ where pub(super) _marker: PhantomData<&'tcx ()>, } -/// `Results` type with a cloned `Analysis` and borrowed entry sets. -pub type ResultsCloned<'res, 'tcx, A> = Results<'tcx, A, &'res EntrySets<'tcx, A>>; - impl<'tcx, A, E> Results<'tcx, A, E> where A: Analysis<'tcx>, @@ -81,20 +78,6 @@ where } } -impl<'tcx, A> Results<'tcx, A> -where - A: Analysis<'tcx> + Copy, -{ - /// Creates a `ResultsCursor` that can inspect these `Results`. - pub fn cloned_results_cursor<'mir>( - &self, - body: &'mir mir::Body<'tcx>, - ) -> ResultsClonedCursor<'_, 'mir, 'tcx, A> { - Results { analysis: self.analysis, entry_sets: &self.entry_sets, _marker: PhantomData } - .into_results_cursor(body) - } -} - /// A solver for dataflow problems. pub struct Engine<'mir, 'tcx, A> where |
