Remove unnecessary ValueAnalysisWrapper::Direction.

`Forward` is the default.
This commit is contained in:
Nicholas Nethercote 2023-11-22 14:15:26 +11:00
parent 64a8c4ddda
commit b8d340db14
2 changed files with 1 additions and 5 deletions

View File

@ -25,9 +25,7 @@ pub use self::framework::{
fmt, lattice, visit_results, Analysis, AnalysisDomain, Direction, GenKill, GenKillAnalysis,
JoinSemiLattice, MaybeReachable, Results, ResultsCursor, ResultsVisitable, ResultsVisitor,
};
use self::framework::{
Backward, CloneAnalysis, Forward, ResultsClonedCursor, SwitchIntEdgeEffects,
};
use self::framework::{Backward, CloneAnalysis, ResultsClonedCursor, SwitchIntEdgeEffects};
use self::move_paths::MoveData;
pub mod debuginfo;

View File

@ -332,8 +332,6 @@ pub struct ValueAnalysisWrapper<T>(pub T);
impl<'tcx, T: ValueAnalysis<'tcx>> AnalysisDomain<'tcx> for ValueAnalysisWrapper<T> {
type Domain = State<T::Value>;
type Direction = crate::Forward;
const NAME: &'static str = T::NAME;
fn bottom_value(&self, _body: &Body<'tcx>) -> Self::Domain {