# This should fail

i : integer := 1;

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