> I would actually say the opposite in modern languages like Rust. Assertions are a sign you have failed to encode requirements in the type system. Maybe. You

> I would actually say the opposite in modern languages like Rust. Assertions are a sign you have failed to encode requirements in the type system. Maybe. You still shouldn't write unsafe code without asserts.