# This should fail

i : integer := 1;

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