Function terminator_returns_ownership 

fn terminator_returns_ownership(
    tcx: TyCtxt<'_>,
    terminator: &TerminatorKind<'_>,
    owner_locals: &HashSet<Local>,
) -> bool