# This should fail

i : integer := 1;

case i is
when 1 =>                       -- missing block
when others => null;
end case;