But Rust can actually analyze trivially when this happens, while it is not possible with C++ due to language semantics.
But Rust can actually analyze trivially when this happens, while it is not possible with C++ due to language semantics.