var
  x: Int8 := 100i8

begin
  case x of
    100i8: assert(true)
  | 100i8 + 100i8: assert(false) (* @Error Case label must be a constant expression *)
  else
    assert(false)
  end
end.