C'est une conséquence malheureuse du traitement de l'ope'rateur ``&&'' comme une macro à l'analyse syntaxique:

true & (true,true) est lu comme if true then (true, true) else false, ce qui explique l'apparition de false dans le message d'erreur.