rustc_mir_dataflow::rustc_peek

Function value_assigned_to_local

source
fn value_assigned_to_local<'a, 'tcx>(
    stmt: &'a Statement<'tcx>,
    local: Local,
) -> Option<&'a Rvalue<'tcx>>
Expand description

If stmt is an assignment where the LHS is the given local (with no projections), returns the RHS of the assignment.