From cf822e4b9b726a1dc8f09ff934faf5eb6e5385b7 Mon Sep 17 00:00:00 2001
From: Christopher Rodrigues <cirodrig@illinois.edu>
Date: Sat, 16 Sep 2017 11:34:54 -0700
Subject: [PATCH] Give a more helpful error message when Gen is constructed
 with incompatible type

This produces a compile error in Gen's constructor.  Before this change,
errors would be attributed to GenImpl.
---
 include/rapidcheck/Gen.hpp | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/include/rapidcheck/Gen.hpp b/include/rapidcheck/Gen.hpp
index 7d8f124e..65517e9e 100644
--- a/include/rapidcheck/Gen.hpp
+++ b/include/rapidcheck/Gen.hpp
@@ -1,5 +1,6 @@
 #pragma once
 
+#include <type_traits>
 #include <cassert>
 
 #include "rapidcheck/detail/Any.h"
@@ -17,6 +18,13 @@ Gen<Decay<typename std::result_of<Mapper(T)>::type>> map(Gen<T> gen,
 
 } // namespace gen
 
+// Concept check for types that have method
+// `Shrinkable<T> G::operator()(const Random &, int) const`
+template<typename T, typename G>
+using MakesShrinkable = std::is_convertible<
+  decltype(std::declval<const G>()(std::declval<Random>(), 0)),
+  Shrinkable<T>>;
+
 template <typename T>
 class Gen<T>::IGenImpl {
 public:
@@ -55,7 +63,10 @@ class Gen<T>::GenImpl : public IGenImpl {
 template <typename T>
 template <typename Impl, typename>
 Gen<T>::Gen(Impl &&impl)
-    : m_impl(new GenImpl<Decay<Impl>>(std::forward<Impl>(impl))) {}
+    : m_impl(new GenImpl<Decay<Impl>>(std::forward<Impl>(impl))) {
+  static_assert(MakesShrinkable<T, Decay<Impl>>::value,
+                "Generator implementation must have a method Shrinkable<T> operator()(const Random &, int) const");
+}
 
 template <typename T>
 std::string Gen<T>::name() const {