If it is coded in safe Rust, why not ?

Safe rust does not mean correct logic; best not conflate the two.

You could have perfectly safe rust that disables brakes above a certain speed, inverts steering by wire, or adjusts the charging parameters, for example (depending on addressable capabilities).