Illustrate compile-time checks