The compiler asks whether the program can be true

Rust compiler: do the types, ownership, lifetimes, and exhaustive cases still compose into a program the machine can run?