There's a Cargo tool called "clippy" which will tell you if it finds unnecessary clones.

Probably not; detecting unnecessary clones is expensive for non-trivial cases. If a human can't prove that the clone isn't necessary (by writing the code in such a manner that the borrow checker accepts), I doubt the compiler could.

No, not really.