Expressions that compile but never evaluate are bread and butter in C++ template metaprogramming.