# This should fail

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