I don't think the diagnostic is meaningless; since a() is ill-formed, b() has type void. But we ought to give a more helpful message when an expression used as a truth value has an unsuitable type.

Jason

Reply via email to