# This should fail

i : integer := 1;

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