It probably helps in Rust.

Perhaps it helps more in certain specific languages or contexts.

The studies found no general “overall cost” improvement; in other words, the extra correctness came at the cost of tons more boilerplate and “fighting the type system”