Yes, except imagine the distance in correctness between Assembly and C, and triple it. Less so compared to C++ of course.

The sentiment of "if it compiles it probably works" for languages like Rust and Haskell is there for a good reason.