From d0a8ea21afd72b54d54c0c03700a18ed0dd63af4 Mon Sep 17 00:00:00 2001
From: Roland Bock <rbock@eudoxos.de>
Date: Sun, 1 Aug 2021 18:39:11 +0200
Subject: [PATCH] Cleanup some warning and includes

---
 include/sqlpp11/alias.h                       |  1 -
 include/sqlpp11/assignment.h                  |  1 -
 include/sqlpp11/basic_expression_operators.h  | 38 ++++++++---------
 include/sqlpp11/char_sequence.h               |  7 ++++
 include/sqlpp11/column.h                      |  1 -
 include/sqlpp11/consistent.h                  |  4 ++
 include/sqlpp11/custom_query.h                |  6 +--
 include/sqlpp11/data_types/blob/operand.h     |  1 -
 include/sqlpp11/data_types/boolean/operand.h  |  1 -
 .../sqlpp11/data_types/day_point/operand.h    |  1 -
 .../data_types/floating_point/operand.h       |  1 -
 include/sqlpp11/data_types/integral/operand.h |  1 -
 .../data_types/text/expression_operators.h    |  2 +-
 include/sqlpp11/data_types/text/operand.h     |  1 -
 .../sqlpp11/data_types/time_of_day/operand.h  |  1 -
 .../sqlpp11/data_types/time_point/operand.h   |  1 -
 .../data_types/unsigned_integral/operand.h    |  1 -
 include/sqlpp11/dynamic_pre_join.h            | 10 ++---
 include/sqlpp11/expression.h                  |  1 -
 include/sqlpp11/hidden.h                      |  2 -
 include/sqlpp11/in.h                          |  6 +--
 include/sqlpp11/insert_value.h                |  1 -
 include/sqlpp11/into.h                        |  1 -
 include/sqlpp11/no_data.h                     |  3 --
 include/sqlpp11/noop.h                        |  1 -
 include/sqlpp11/not_in.h                      |  6 +--
 include/sqlpp11/over.h                        |  1 -
 include/sqlpp11/portable_static_assert.h      |  7 +++-
 include/sqlpp11/pre_join.h                    |  2 +-
 include/sqlpp11/schema.h                      |  3 --
 include/sqlpp11/select_column_list.h          |  2 +-
 include/sqlpp11/serialize.h                   |  1 -
 include/sqlpp11/serializer.h                  | 42 -------------------
 include/sqlpp11/simple_column.h               |  1 -
 include/sqlpp11/single_table.h                |  1 -
 include/sqlpp11/statement.h                   |  5 +--
 include/sqlpp11/type_traits.h                 |  1 -
 include/sqlpp11/union_data.h                  |  2 -
 include/sqlpp11/without_table_check.h         |  1 -
 39 files changed, 55 insertions(+), 114 deletions(-)
 delete mode 100644 include/sqlpp11/serializer.h

diff --git a/include/sqlpp11/alias.h b/include/sqlpp11/alias.h
index d53c3c83..328ce5b9 100644
--- a/include/sqlpp11/alias.h
+++ b/include/sqlpp11/alias.h
@@ -28,7 +28,6 @@
 #define SQLPP11_ALIAS_H
 
 #include <sqlpp11/type_traits.h>
-#include <sqlpp11/serializer.h>
 
 namespace sqlpp
 {
diff --git a/include/sqlpp11/assignment.h b/include/sqlpp11/assignment.h
index 0e4c0a91..469acd96 100644
--- a/include/sqlpp11/assignment.h
+++ b/include/sqlpp11/assignment.h
@@ -30,7 +30,6 @@
 #include <sqlpp11/default_value.h>
 #include <sqlpp11/null.h>
 #include <sqlpp11/serialize.h>
-#include <sqlpp11/serializer.h>
 #include <sqlpp11/simple_column.h>
 
 namespace sqlpp
diff --git a/include/sqlpp11/basic_expression_operators.h b/include/sqlpp11/basic_expression_operators.h
index c924f964..6613940d 100644
--- a/include/sqlpp11/basic_expression_operators.h
+++ b/include/sqlpp11/basic_expression_operators.h
@@ -127,7 +127,7 @@ namespace sqlpp
     auto operator==(T t) const -> _new_binary_expression_t<equal_to_t, T>
     {
       using rhs = wrap_operand_t<T>;
-      check_comparison_t<Expr, rhs>{};
+      check_comparison_t<Expr, rhs>::verify();
 
       return {*static_cast<const Expr*>(this), rhs{t}};
     }
@@ -136,7 +136,7 @@ namespace sqlpp
     auto operator!=(T t) const -> _new_binary_expression_t<not_equal_to_t, T>
     {
       using rhs = wrap_operand_t<T>;
-      check_comparison_t<Expr, rhs>{};
+      check_comparison_t<Expr, rhs>::verify();
 
       return {*static_cast<const Expr*>(this), rhs{t}};
     }
@@ -145,7 +145,7 @@ namespace sqlpp
     auto operator<(T t) const -> _new_binary_expression_t<less_than_t, T>
     {
       using rhs = wrap_operand_t<T>;
-      check_comparison_t<Expr, rhs>{};
+      check_comparison_t<Expr, rhs>::verify();
 
       return {*static_cast<const Expr*>(this), rhs{t}};
     }
@@ -154,7 +154,7 @@ namespace sqlpp
     auto operator<=(T t) const -> _new_binary_expression_t<less_equal_t, T>
     {
       using rhs = wrap_operand_t<T>;
-      check_comparison_t<Expr, rhs>{};
+      check_comparison_t<Expr, rhs>::verify();
 
       return {*static_cast<const Expr*>(this), rhs{t}};
     }
@@ -163,7 +163,7 @@ namespace sqlpp
     auto operator>(T t) const -> _new_binary_expression_t<greater_than_t, T>
     {
       using rhs = wrap_operand_t<T>;
-      check_comparison_t<Expr, rhs>{};
+      check_comparison_t<Expr, rhs>::verify();
 
       return {*static_cast<const Expr*>(this), rhs{t}};
     }
@@ -205,98 +205,98 @@ namespace sqlpp
     template <typename... T>
     auto in(T... t) const -> typename _new_nary_expression<in_t, T...>::type
     {
-      check_in_t<Expr, wrap_operand_t<T>...>{};
+      check_in_t<Expr, wrap_operand_t<T>...>::verify();
       return {*static_cast<const Expr*>(this), typename wrap_operand<T>::type{t}...};
     }
 
     template <typename... T>
     auto not_in(T... t) const -> typename _new_nary_expression<not_in_t, T...>::type
     {
-      check_in_t<Expr, wrap_operand_t<T>...>{};
+      check_in_t<Expr, wrap_operand_t<T>...>::verify();
       return {*static_cast<const Expr*>(this), typename wrap_operand<T>::type{t}...};
     }
 
     template <typename Defer = void>
     auto operator not() const -> return_type_not_t<Expr, Defer>
     {
-      typename return_type_not<Expr, Defer>::check{};
+      return_type_not<Expr, Defer>::check::verify();
       return {*static_cast<const Expr*>(this)};
     }
 
     template <typename R>
     auto operator and(const R& r) const -> return_type_and_t<Expr, R>
     {
-      typename return_type_and<Expr, R>::check{};
+      return_type_and<Expr, R>::check::verify();
       return {*static_cast<const Expr*>(this), wrap_operand_t<R>{r}};
     }
 
     template <typename R>
     auto operator&(const R& r) const -> return_type_bitwise_and_t<Expr, R>
     {
-      typename return_type_bitwise_and<Expr, R>::check{};
+      return_type_bitwise_and<Expr, R>::check::verify();
       return {*static_cast<const Expr*>(this), wrap_operand_t<R>{r}};
     }
 
     template <typename R>
     auto operator|(const R& r) const -> return_type_bitwise_or_t<Expr, R>
     {
-      typename return_type_bitwise_or<Expr, R>::check{};
+      return_type_bitwise_or<Expr, R>::check::verify();
       return {*static_cast<const Expr*>(this), wrap_operand_t<R>{r}};
     }
 
     template <typename R>
     auto operator or(const R& r) const -> return_type_or_t<Expr, R>
     {
-      typename return_type_or<Expr, R>::check{};
+      return_type_or<Expr, R>::check::verify();
       return {*static_cast<const Expr*>(this), wrap_operand_t<R>{r}};
     }
 
     template <typename R>
     auto operator+(const R& r) const -> return_type_plus_t<Expr, R>
     {
-      typename return_type_plus<Expr, R>::check{};
+      return_type_plus<Expr, R>::check::verify();
       return {*static_cast<const Expr*>(this), wrap_operand_t<R>{r}};
     }
 
     template <typename R>
     auto operator-(const R& r) const -> return_type_minus_t<Expr, R>
     {
-      typename return_type_minus<Expr, R>::check{};
+      return_type_minus<Expr, R>::check::verify();
       return {*static_cast<const Expr*>(this), wrap_operand_t<R>{r}};
     }
 
     template <typename R>
     auto operator*(const R& r) const -> return_type_multiplies_t<Expr, R>
     {
-      typename return_type_multiplies<Expr, R>::check{};
+      return_type_multiplies<Expr, R>::check::verify();
       return {*static_cast<const Expr*>(this), wrap_operand_t<R>{r}};
     }
 
     template <typename R>
     auto operator/(const R& r) const -> return_type_divides_t<Expr, R>
     {
-      typename return_type_divides<Expr, R>::check{};
+      return_type_divides<Expr, R>::check::verify();
       return {*static_cast<const Expr*>(this), wrap_operand_t<R>{r}};
     }
 
     template <typename R>
     auto operator%(const R& r) const -> return_type_modulus_t<Expr, R>
     {
-      typename return_type_modulus<Expr, R>::check{};
+      return_type_modulus<Expr, R>::check::verify();
       return {*static_cast<const Expr*>(this), wrap_operand_t<R>{r}};
     }
 
     template <typename Defer = void>
     auto operator+() const -> return_type_unary_plus_t<Expr, Defer>
     {
-      typename return_type_unary_plus<Expr, Defer>::check{};
+      return_type_unary_plus<Expr, Defer>::check::verify();
       return {*static_cast<const Expr*>(this)};
     }
 
     template <typename Defer = void>
     auto operator-() const -> return_type_unary_minus_t<Expr, Defer>
     {
-      typename return_type_unary_minus<Expr, Defer>::check{};
+      return_type_unary_minus<Expr, Defer>::check::verify();
       return {*static_cast<const Expr*>(this)};
     }
   };
diff --git a/include/sqlpp11/char_sequence.h b/include/sqlpp11/char_sequence.h
index 4d6144c1..2e6b51c8 100644
--- a/include/sqlpp11/char_sequence.h
+++ b/include/sqlpp11/char_sequence.h
@@ -27,10 +27,17 @@
 #ifndef SQLPP11_CHAR_SEQUENCE_H
 #define SQLPP11_CHAR_SEQUENCE_H
 
+#include <type_traits>
 #include <sqlpp11/detail/index_sequence.h>
 
 namespace sqlpp
 {
+  template <typename Context>
+  std::integral_constant<char, '"'> get_quote_left(const Context&);
+
+  template <typename Context>
+  std::integral_constant<char, '"'> get_quote_right(const Context&);
+
   template <char... Cs>
   struct char_sequence
   {
diff --git a/include/sqlpp11/column.h b/include/sqlpp11/column.h
index 74c310ba..7b347ad7 100644
--- a/include/sqlpp11/column.h
+++ b/include/sqlpp11/column.h
@@ -35,7 +35,6 @@
 #include <sqlpp11/type_traits.h>
 #include <sqlpp11/assignment.h>
 #include <sqlpp11/expression.h>
-#include <sqlpp11/serializer.h>
 #include <sqlpp11/wrong.h>
 #include <sqlpp11/detail/type_set.h>
 
diff --git a/include/sqlpp11/consistent.h b/include/sqlpp11/consistent.h
index 0b38593c..a83db633 100644
--- a/include/sqlpp11/consistent.h
+++ b/include/sqlpp11/consistent.h
@@ -33,6 +33,10 @@ namespace sqlpp
 {
   struct consistent_t : std::true_type
   {
+    template <typename... T>
+    static constexpr void verify(T&&...)
+    {
+    }
   };
 }  // namespace sqlpp
 
diff --git a/include/sqlpp11/custom_query.h b/include/sqlpp11/custom_query.h
index 620da6ad..1f217b15 100644
--- a/include/sqlpp11/custom_query.h
+++ b/include/sqlpp11/custom_query.h
@@ -92,14 +92,14 @@ namespace sqlpp
     template <typename Db>
     auto _run(Db& db) const -> decltype(std::declval<_methods_t>()._run(db, *this))
     {
-      _run_check{};  // FIXME: dispatch here?
+      _run_check::verify();
       return _methods_t::_run(db, *this);
     }
 
     template <typename Db>
     auto _prepare(Db& db) const -> decltype(std::declval<_methods_t>()._prepare(db, *this))
     {
-      _prepare_check{};  // FIXME: dispatch here?
+      _prepare_check::verify();
       return _methods_t::_prepare(db, *this);
     }
 
@@ -123,7 +123,7 @@ namespace sqlpp
   };
 
   template <typename Context, typename Database, typename... Parts>
-  Context serialize(const custom_query_t<Database, Parts...>& t, Context& context)
+  Context& serialize(const custom_query_t<Database, Parts...>& t, Context& context)
   {
     interpret_tuple_without_braces(t._parts, " ", context);
     return context;
diff --git a/include/sqlpp11/data_types/blob/operand.h b/include/sqlpp11/data_types/blob/operand.h
index e3af17e2..67772fa2 100644
--- a/include/sqlpp11/data_types/blob/operand.h
+++ b/include/sqlpp11/data_types/blob/operand.h
@@ -30,7 +30,6 @@
 #include <vector>
 #include <sqlpp11/type_traits.h>
 #include <sqlpp11/alias_operators.h>
-#include <sqlpp11/serializer.h>
 
 namespace sqlpp
 {
diff --git a/include/sqlpp11/data_types/boolean/operand.h b/include/sqlpp11/data_types/boolean/operand.h
index e5421a9b..d82f5e8f 100644
--- a/include/sqlpp11/data_types/boolean/operand.h
+++ b/include/sqlpp11/data_types/boolean/operand.h
@@ -31,7 +31,6 @@
 
 #include <sqlpp11/type_traits.h>
 #include <sqlpp11/alias_operators.h>
-#include <sqlpp11/serializer.h>
 
 namespace sqlpp
 {
diff --git a/include/sqlpp11/data_types/day_point/operand.h b/include/sqlpp11/data_types/day_point/operand.h
index e805309d..66eedfe5 100644
--- a/include/sqlpp11/data_types/day_point/operand.h
+++ b/include/sqlpp11/data_types/day_point/operand.h
@@ -31,7 +31,6 @@
 #include <sqlpp11/chrono.h>
 #include <sqlpp11/type_traits.h>
 #include <sqlpp11/alias_operators.h>
-#include <sqlpp11/serializer.h>
 
 namespace sqlpp
 {
diff --git a/include/sqlpp11/data_types/floating_point/operand.h b/include/sqlpp11/data_types/floating_point/operand.h
index c6de06f9..8e754900 100644
--- a/include/sqlpp11/data_types/floating_point/operand.h
+++ b/include/sqlpp11/data_types/floating_point/operand.h
@@ -29,7 +29,6 @@
 
 #include <sqlpp11/type_traits.h>
 #include <sqlpp11/alias_operators.h>
-#include <sqlpp11/serializer.h>
 
 namespace sqlpp
 {
diff --git a/include/sqlpp11/data_types/integral/operand.h b/include/sqlpp11/data_types/integral/operand.h
index 35da87b4..6338f2b7 100644
--- a/include/sqlpp11/data_types/integral/operand.h
+++ b/include/sqlpp11/data_types/integral/operand.h
@@ -29,7 +29,6 @@
 
 #include <sqlpp11/type_traits.h>
 #include <sqlpp11/alias_operators.h>
-#include <sqlpp11/serializer.h>
 
 namespace sqlpp
 {
diff --git a/include/sqlpp11/data_types/text/expression_operators.h b/include/sqlpp11/data_types/text/expression_operators.h
index 440ce546..7355af9a 100644
--- a/include/sqlpp11/data_types/text/expression_operators.h
+++ b/include/sqlpp11/data_types/text/expression_operators.h
@@ -57,7 +57,7 @@ namespace sqlpp
     template <typename R>
     auto like(const R& r) const -> return_type_like_t<Expression, R>
     {
-      typename return_type_like<Expression, R>::check{};
+      return_type_like<Expression, R>::check::verify();
       return {*static_cast<const Expression*>(this), wrap_operand_t<R>{r}};
     }
   };
diff --git a/include/sqlpp11/data_types/text/operand.h b/include/sqlpp11/data_types/text/operand.h
index 4d136803..8a0b9ca2 100644
--- a/include/sqlpp11/data_types/text/operand.h
+++ b/include/sqlpp11/data_types/text/operand.h
@@ -34,7 +34,6 @@
 #endif
 #include <sqlpp11/type_traits.h>
 #include <sqlpp11/alias_operators.h>
-#include <sqlpp11/serializer.h>
 
 namespace sqlpp
 {
diff --git a/include/sqlpp11/data_types/time_of_day/operand.h b/include/sqlpp11/data_types/time_of_day/operand.h
index 824b019b..a7b20064 100644
--- a/include/sqlpp11/data_types/time_of_day/operand.h
+++ b/include/sqlpp11/data_types/time_of_day/operand.h
@@ -30,7 +30,6 @@
 #include <sqlpp11/chrono.h>
 #include <sqlpp11/type_traits.h>
 #include <sqlpp11/alias_operators.h>
-#include <sqlpp11/serializer.h>
 
 namespace sqlpp
 {
diff --git a/include/sqlpp11/data_types/time_point/operand.h b/include/sqlpp11/data_types/time_point/operand.h
index 297abcd5..7bd5893f 100644
--- a/include/sqlpp11/data_types/time_point/operand.h
+++ b/include/sqlpp11/data_types/time_point/operand.h
@@ -30,7 +30,6 @@
 #include <sqlpp11/chrono.h>
 #include <sqlpp11/type_traits.h>
 #include <sqlpp11/alias_operators.h>
-#include <sqlpp11/serializer.h>
 
 namespace sqlpp
 {
diff --git a/include/sqlpp11/data_types/unsigned_integral/operand.h b/include/sqlpp11/data_types/unsigned_integral/operand.h
index 94d4498a..0e146b8e 100644
--- a/include/sqlpp11/data_types/unsigned_integral/operand.h
+++ b/include/sqlpp11/data_types/unsigned_integral/operand.h
@@ -29,7 +29,6 @@
 
 #include <sqlpp11/type_traits.h>
 #include <sqlpp11/alias_operators.h>
-#include <sqlpp11/serializer.h>
 
 namespace sqlpp
 {
diff --git a/include/sqlpp11/dynamic_pre_join.h b/include/sqlpp11/dynamic_pre_join.h
index 489eaf25..959cfe21 100644
--- a/include/sqlpp11/dynamic_pre_join.h
+++ b/include/sqlpp11/dynamic_pre_join.h
@@ -121,35 +121,35 @@ namespace sqlpp
   template <typename Table>
   auto dynamic_join(Table table) -> make_dynamic_pre_join_t<inner_join_t, Table>
   {
-    check_dynamic_pre_join_t<Table>{};  // FIXME: Failure return type?
+    check_dynamic_pre_join_t<Table>::verify();  // FIXME: Failure return type?
     return {table};
   }
 
   template <typename Table>
   auto dynamic_inner_join(Table table) -> make_dynamic_pre_join_t<inner_join_t, Table>
   {
-    check_dynamic_pre_join_t<Table>{};
+    check_dynamic_pre_join_t<Table>::verify();
     return {table};
   }
 
   template <typename Table>
   auto dynamic_left_outer_join(Table table) -> make_dynamic_pre_join_t<left_outer_join_t, Table>
   {
-    check_dynamic_pre_join_t<Table>{};
+    check_dynamic_pre_join_t<Table>::verify();
     return {table};
   }
 
   template <typename Table>
   auto dynamic_right_outer_join(Table table) -> make_dynamic_pre_join_t<right_outer_join_t, Table>
   {
-    check_dynamic_pre_join_t<Table>{};
+    check_dynamic_pre_join_t<Table>::verify();
     return {table};
   }
 
   template <typename Table>
   auto dynamic_outer_join(Table table) -> make_dynamic_pre_join_t<outer_join_t, Table>
   {
-    check_dynamic_pre_join_t<Table>{};
+    check_dynamic_pre_join_t<Table>::verify();
     return {table};
   }
 
diff --git a/include/sqlpp11/expression.h b/include/sqlpp11/expression.h
index 586724b5..65eab91a 100644
--- a/include/sqlpp11/expression.h
+++ b/include/sqlpp11/expression.h
@@ -31,7 +31,6 @@
 #include <sqlpp11/data_types/boolean.h>
 #include <sqlpp11/expression_fwd.h>
 #include <sqlpp11/noop.h>
-#include <sqlpp11/serializer.h>
 #include <sqlpp11/wrap_operand.h>
 
 namespace sqlpp
diff --git a/include/sqlpp11/hidden.h b/include/sqlpp11/hidden.h
index ed332c2f..bf5065ea 100644
--- a/include/sqlpp11/hidden.h
+++ b/include/sqlpp11/hidden.h
@@ -27,8 +27,6 @@
 #ifndef SQLPP11_HIDDEN_H
 #define SQLPP11_HIDDEN_H
 
-#include <sqlpp11/serializer.h>
-
 namespace sqlpp
 {
   template <typename Clause>
diff --git a/include/sqlpp11/in.h b/include/sqlpp11/in.h
index feb4054b..279ed47c 100644
--- a/include/sqlpp11/in.h
+++ b/include/sqlpp11/in.h
@@ -72,12 +72,12 @@ namespace sqlpp
     std::tuple<Args...> _args;
   };
 
-  template <typename Context, typename Operand, typename... Args>
-  Context& serialize(const in_t<Operand, Args...>& t, Context& context)
+  template <typename Context, typename Operand, typename Arg, typename... Args>
+  Context& serialize(const in_t<Operand, Arg, Args...>& t, Context& context)
   {
     serialize(t._operand, context);
     context << " IN(";
-    if (sizeof...(Args) == 1)
+    if (sizeof...(Args) == 0)
     {
       serialize(std::get<0>(t._args), context);
     }
diff --git a/include/sqlpp11/insert_value.h b/include/sqlpp11/insert_value.h
index 22c09e7a..3f6d7e7d 100644
--- a/include/sqlpp11/insert_value.h
+++ b/include/sqlpp11/insert_value.h
@@ -31,7 +31,6 @@
 #include <sqlpp11/null.h>
 #include <sqlpp11/value_or_null.h>
 #include <sqlpp11/type_traits.h>
-#include <sqlpp11/serializer.h>
 #include <sqlpp11/detail/type_set.h>
 
 namespace sqlpp
diff --git a/include/sqlpp11/into.h b/include/sqlpp11/into.h
index 07e3b87f..9f5a4d90 100644
--- a/include/sqlpp11/into.h
+++ b/include/sqlpp11/into.h
@@ -31,7 +31,6 @@
 #include <sqlpp11/detail/type_set.h>
 #include <sqlpp11/no_data.h>
 #include <sqlpp11/prepared_insert.h>
-#include <sqlpp11/serializer.h>
 #include <sqlpp11/statement_fwd.h>
 #include <sqlpp11/type_traits.h>
 
diff --git a/include/sqlpp11/no_data.h b/include/sqlpp11/no_data.h
index e736dac1..8eced643 100644
--- a/include/sqlpp11/no_data.h
+++ b/include/sqlpp11/no_data.h
@@ -27,9 +27,6 @@
 #ifndef SQLPP11_NO_DATA_H
 #define SQLPP11_NO_DATA_H
 
-#include <type_traits>
-#include <sqlpp11/serializer.h>
-
 namespace sqlpp
 {
   struct no_data_t
diff --git a/include/sqlpp11/noop.h b/include/sqlpp11/noop.h
index e5afa6e0..6b28190b 100644
--- a/include/sqlpp11/noop.h
+++ b/include/sqlpp11/noop.h
@@ -29,7 +29,6 @@
 
 #include <type_traits>
 #include <sqlpp11/data_types/no_value.h>
-#include <sqlpp11/serializer.h>
 #include <sqlpp11/prepared_execute.h>
 
 namespace sqlpp
diff --git a/include/sqlpp11/not_in.h b/include/sqlpp11/not_in.h
index e54fab86..40bc66ec 100644
--- a/include/sqlpp11/not_in.h
+++ b/include/sqlpp11/not_in.h
@@ -72,12 +72,12 @@ namespace sqlpp
     std::tuple<Args...> _args;
   };
 
-  template <typename Context, typename Operand, typename... Args>
-  Context& serialize(const not_in_t<Operand, Args...>& t, Context& context)
+  template <typename Context, typename Operand, typename Arg, typename... Args>
+  Context& serialize(const not_in_t<Operand, Arg, Args...>& t, Context& context)
   {
     serialize_operand(t._operand, context);
     context << " NOT IN(";
-    if (sizeof...(Args) == 1)
+    if (sizeof...(Args) == 0)
     {
       serialize(std::get<0>(t._args), context);
     }
diff --git a/include/sqlpp11/over.h b/include/sqlpp11/over.h
index cb5d82a8..f3023611 100644
--- a/include/sqlpp11/over.h
+++ b/include/sqlpp11/over.h
@@ -28,7 +28,6 @@
 #define SQLPP11_OVER_H
 
 #include <sqlpp11/type_traits.h>
-#include <sqlpp11/serializer.h>
 
 namespace sqlpp
 {
diff --git a/include/sqlpp11/portable_static_assert.h b/include/sqlpp11/portable_static_assert.h
index 8e78c3a7..b8701ca4 100644
--- a/include/sqlpp11/portable_static_assert.h
+++ b/include/sqlpp11/portable_static_assert.h
@@ -36,7 +36,12 @@ namespace sqlpp
   struct name : std::false_type                     \
   {                                                 \
     template <typename... T>                        \
-    explicit name(T&&...)                           \
+    constexpr explicit name(T&&...)                 \
+    {                                               \
+      static_assert(wrong_t<T...>::value, message); \
+    }                                               \
+    template <typename... T>                        \
+    static constexpr void verify(T&&...)                 \
     {                                               \
       static_assert(wrong_t<T...>::value, message); \
     }                                               \
diff --git a/include/sqlpp11/pre_join.h b/include/sqlpp11/pre_join.h
index 1afd2435..61033579 100644
--- a/include/sqlpp11/pre_join.h
+++ b/include/sqlpp11/pre_join.h
@@ -176,7 +176,7 @@ namespace sqlpp
   template <typename Lhs, typename Rhs>
   auto right_outer_join(Lhs lhs, Rhs rhs) -> decltype(detail::join_impl<right_outer_join_t>(lhs, rhs))
   {
-    check_pre_join_t<Lhs, Rhs>{};
+    check_pre_join_t<Lhs, Rhs>::verify();
 
     return {from_table(lhs), from_table(rhs)};
   }
diff --git a/include/sqlpp11/schema.h b/include/sqlpp11/schema.h
index dc260cac..d44fc303 100644
--- a/include/sqlpp11/schema.h
+++ b/include/sqlpp11/schema.h
@@ -29,9 +29,6 @@
 
 #include <string>
 
-#include <sqlpp11/type_traits.h>
-#include <sqlpp11/serializer.h>
-
 namespace sqlpp
 {
   struct schema_t
diff --git a/include/sqlpp11/select_column_list.h b/include/sqlpp11/select_column_list.h
index 606e1958..abb11d22 100644
--- a/include/sqlpp11/select_column_list.h
+++ b/include/sqlpp11/select_column_list.h
@@ -245,7 +245,7 @@ namespace sqlpp
       template <typename AliasProvider>
       _alias_t<AliasProvider> as(const AliasProvider& aliasProvider) const
       {
-        consistency_check_t<_statement_t>{};
+        consistency_check_t<_statement_t>::verify();
         static_assert(_statement_t::_can_be_used_as_table(),
                       "statement cannot be used as table, e.g. due to missing tables");
         return _table_t<AliasProvider>(_get_statement()).as(aliasProvider);
diff --git a/include/sqlpp11/serialize.h b/include/sqlpp11/serialize.h
index 1732423e..63a3f70d 100644
--- a/include/sqlpp11/serialize.h
+++ b/include/sqlpp11/serialize.h
@@ -27,7 +27,6 @@
 #ifndef SQLPP11_SERIALIZE_H
 #define SQLPP11_SERIALIZE_H
 
-#include <sqlpp11/serializer.h>
 #include <sqlpp11/type_traits.h>
 
 namespace sqlpp
diff --git a/include/sqlpp11/serializer.h b/include/sqlpp11/serializer.h
deleted file mode 100644
index 6267398f..00000000
--- a/include/sqlpp11/serializer.h
+++ /dev/null
@@ -1,42 +0,0 @@
-/*
- * Copyright (c) 2013-2015, Roland Bock
- * All rights reserved.
- *
- * Redistribution and use in source and binary forms, with or without modification,
- * are permitted provided that the following conditions are met:
- *
- *   Redistributions of source code must retain the above copyright notice, this
- *   list of conditions and the following disclaimer.
- *
- *   Redistributions in binary form must reproduce the above copyright notice, this
- *   list of conditions and the following disclaimer in the documentation and/or
- *   other materials provided with the distribution.
- *
- * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
- * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
- * WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
- * DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE FOR
- * ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
- * (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
- * LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
- * ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
- * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
- * SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
- */
-
-#ifndef SQLPP11_SERIALIZER_H
-#define SQLPP11_SERIALIZER_H
-
-#include <type_traits>
-
-namespace sqlpp
-{
-  // FIXME: Move to type_traits.h, for instance
-  template <typename Context>
-  std::integral_constant<char, '"'> get_quote_left(const Context&);
-
-  template <typename Context>
-  std::integral_constant<char, '"'> get_quote_right(const Context&);
-}  // namespace sqlpp
-
-#endif
diff --git a/include/sqlpp11/simple_column.h b/include/sqlpp11/simple_column.h
index f7573b14..f1304e6a 100644
--- a/include/sqlpp11/simple_column.h
+++ b/include/sqlpp11/simple_column.h
@@ -27,7 +27,6 @@
 #ifndef SQLPP11_SIMPLE_COLUMN_H
 #define SQLPP11_SIMPLE_COLUMN_H
 
-#include <sqlpp11/serializer.h>
 #include <sqlpp11/type_traits.h>
 
 namespace sqlpp
diff --git a/include/sqlpp11/single_table.h b/include/sqlpp11/single_table.h
index 0c0cc897..46ad77c3 100644
--- a/include/sqlpp11/single_table.h
+++ b/include/sqlpp11/single_table.h
@@ -31,7 +31,6 @@
 #include <sqlpp11/detail/type_set.h>
 #include <sqlpp11/no_data.h>
 #include <sqlpp11/prepared_insert.h>
-#include <sqlpp11/serializer.h>
 #include <sqlpp11/type_traits.h>
 
 namespace sqlpp
diff --git a/include/sqlpp11/statement.h b/include/sqlpp11/statement.h
index 22742366..3210111d 100644
--- a/include/sqlpp11/statement.h
+++ b/include/sqlpp11/statement.h
@@ -33,7 +33,6 @@
 #include <sqlpp11/prepared_select.h>
 #include <sqlpp11/result.h>
 #include <sqlpp11/serialize.h>
-#include <sqlpp11/serializer.h>
 
 #include <sqlpp11/detail/get_first.h>
 #include <sqlpp11/detail/get_last.h>
@@ -237,14 +236,14 @@ namespace sqlpp
     template <typename Database>
     auto _run(Database& db) const -> decltype(std::declval<_result_methods_t<statement_t>>()._run(db))
     {
-      _run_check{};  // FIXME: Dispatch?
+      _run_check::verify();
       return _result_methods_t<statement_t>::_run(db);
     }
 
     template <typename Database>
     auto _prepare(Database& db) const -> decltype(std::declval<_result_methods_t<statement_t>>()._prepare(db))
     {
-      _prepare_check{};  // FIXME: Dispatch?
+      _prepare_check::verify();
       return _result_methods_t<statement_t>::_prepare(db);
     }
   };
diff --git a/include/sqlpp11/type_traits.h b/include/sqlpp11/type_traits.h
index 800977e5..2ba68035 100644
--- a/include/sqlpp11/type_traits.h
+++ b/include/sqlpp11/type_traits.h
@@ -31,7 +31,6 @@
 #include <tuple>
 #include <sqlpp11/consistent.h>
 #include <sqlpp11/portable_static_assert.h>
-#include <sqlpp11/serializer.h>
 #include <sqlpp11/detail/type_vector.h>
 #include <sqlpp11/detail/type_set.h>
 #include <sqlpp11/detail/void.h>
diff --git a/include/sqlpp11/union_data.h b/include/sqlpp11/union_data.h
index bccd689c..a2ff2888 100644
--- a/include/sqlpp11/union_data.h
+++ b/include/sqlpp11/union_data.h
@@ -27,8 +27,6 @@
 #ifndef SQLPP11_UNION_DATA_H
 #define SQLPP11_UNION_DATA_H
 
-#include <sqlpp11/serializer.h>
-
 namespace sqlpp
 {
   template <typename Database, typename Flag, typename Lhs, typename Rhs>
diff --git a/include/sqlpp11/without_table_check.h b/include/sqlpp11/without_table_check.h
index dd734a5f..3ab70010 100644
--- a/include/sqlpp11/without_table_check.h
+++ b/include/sqlpp11/without_table_check.h
@@ -28,7 +28,6 @@
  */
 
 #include <sqlpp11/type_traits.h>
-#include <sqlpp11/serializer.h>
 
 namespace sqlpp
 {