Function rustc_borrowck::polonius::emit_move_facts

source · 
fn emit_move_facts(
    all_facts: &mut AllFacts,
    move_data: &MoveData<'_>,
    location_table: &LocationTable,
    body: &Body<'_>
)
Expand description

Emit facts needed for move/init analysis: moves and assignments.