Function terminator_use_def 

pub fn terminator_use_def<'tcx>(terminator: &Terminator<'tcx>) -> DefUse

Collect definitions and uses for one MIR terminator.

Call terminators are handled separately by the slicer’s call_visit module (which consults interprocedural summaries), so the Call arm is deliberately absent here.