mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Use typedefs to clarify some impls.

Browse Source 
And insert some whitespace.
This commit is contained in:
Nicholas Nethercote 2023-11-23 16:26:55 +11:00
parent 1bcbb7c93b
commit b85cba87e4
2 changed files with 5 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
compiler/rustc_mir_dataflow/src/framework/cursor.rs
View File

@ -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 where
A: Analysis<'tcx> + CloneAnalysis, A: Analysis<'tcx> + CloneAnalysis,
{ {

5
compiler/rustc_mir_dataflow/src/framework/engine.rs
View File

@ -80,6 +80,7 @@ where
visit_results(body, blocks.map(|(bb, _)| bb), self, vis) visit_results(body, blocks.map(|(bb, _)| bb), self, vis)
} }
} }
impl<'tcx, A> Results<'tcx, A> impl<'tcx, A> Results<'tcx, A>
where where
A: Analysis<'tcx>, A: Analysis<'tcx>,
@ -92,6 +93,7 @@ where
ResultsCursor::new(body, self) ResultsCursor::new(body, self)
} }
} }
impl<'tcx, A> Results<'tcx, A> impl<'tcx, A> Results<'tcx, A>
where where
A: Analysis<'tcx> + CloneAnalysis, A: Analysis<'tcx> + CloneAnalysis,
@ -113,7 +115,8 @@ where
self.clone_analysis().into_results_cursor(body) 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 where
A: Analysis<'tcx> + CloneAnalysis, A: Analysis<'tcx> + CloneAnalysis,
{ {