Language vision regarding safety guarantees

But I see one point of using Rust as precisely that ability to allow "this code may contain bugs" without causing arbitrarily large damage. So long as something is "merely" a logic bug instead of a safety bug, assert!, println!, dbg!, log!, etc are still guaranteed to work properly and help find the bug.