Function copy_root 

fn copy_root(body: &Body<'_>, local: Local) -> Local

Trace a local back through x = copy y / x = move y assignments to its copy root (the original loop variable before MIR temporaries).