What by the language spec makes your code incorrect? The only question is, does the compiler generate a constant call to print "false"? But this would be an opt

What by the language spec makes your code incorrect? The only question is, does the compiler generate a constant call to print "false"? But this would be an optimization, not a correctness question.