1. Constraints mark programs as invalid.

2. Well designed constraints mark incorrect programs as invalid.

3. Rust has strict constraints, so more incorrect programs are marked invalid.

---

Switch from:

"It's so hard to get anything to compile."

🫠

to:

"The compiler is doing so much work for me."

🙇‍♂️