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.