Between A and B there's quite a few type system tricks & tools that one can use which bring many benefits without incurring the costs of fully verified memory ownership.
I stand by my original statement though:
a) in a language like C and C++ one has to use their knowledge to come up with a solution and verify it. Pretty human.
b) in a GC language, one mostly does not care. When they do, they do a).
c) in Rust one does their best at a) and then does what the robot tells them to, even if the code is correct but the robot can't yet figure it out.
I stand by my original statement though:
a) in a language like C and C++ one has to use their knowledge to come up with a solution and verify it. Pretty human.
b) in a GC language, one mostly does not care. When they do, they do a).
c) in Rust one does their best at a) and then does what the robot tells them to, even if the code is correct but the robot can't yet figure it out.