pub fn save_as_intervals<'tcx, N, R>(
elements: &DenseLocationMap,
body: &Body<'tcx>,
results: R,
) -> SparseIntervalMatrix<N, PointIndex>
Expand description
Add points depending on the result of the given dataflow analysis.
pub fn save_as_intervals<'tcx, N, R>(
elements: &DenseLocationMap,
body: &Body<'tcx>,
results: R,
) -> SparseIntervalMatrix<N, PointIndex>
Add points depending on the result of the given dataflow analysis.