They do help somewhat by making ownership more explicit, i.e. they are hints that the programmer can use to do the kind of analysis that rust would do automatically.

Dereferencing a moved-from unique_ptr is UB, but many compilers do abort in their hardened modes.

edit: spelling