# This should fail

b : boolean := not "string"; -- wrong type for not