Function rustc_mir_dataflow::rustc_peek::value_assigned_to_local

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

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