swift and rust?

What about them?

they are memory safe

Proof?