var
  x: Int

begin
  case x of
    1: (* ok *)
  | true: (* @Error Invalid operands of type 'Int' and 'Bool' for operator = *)
  end
end.