[4.5] 4.1.1 requires invalid use of void generate a compile-time error