# This should fail

b : boolean := true * false; -- no such operation