Struct rustc_mir_dataflow::move_paths::builder::MoveDataBuilder

struct MoveDataBuilder<'a, 'tcx, F> {
    body: &'a Body<'tcx>,
    tcx: TyCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
    data: MoveData<'tcx>,
    filter: F,
}

Fields

body: &'a Body<'tcx>

tcx: TyCtxt<'tcx>

param_env: ParamEnv<'tcx>

data: MoveData<'tcx>

filter: F

Implementations

impl<'a, 'tcx, F: Fn(Ty<'tcx>) -> bool> MoveDataBuilder<'a, 'tcx, F>

fn new( body: &'a Body<'tcx>, tcx: TyCtxt<'tcx>, param_env: ParamEnv<'tcx>, filter: F, ) -> Self

impl<'a, 'tcx, F> MoveDataBuilder<'a, 'tcx, F>

fn finalize(self) -> MoveData<'tcx>

impl<'a, 'tcx, F: Fn(Ty<'tcx>) -> bool> MoveDataBuilder<'a, 'tcx, F>

fn gather_args(&mut self)

fn gather_statement(&mut self, loc: Location, stmt: &Statement<'tcx>)

fn gather_terminator(&mut self, loc: Location, term: &Terminator<'tcx>)

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.