From 96dc3c5c20b5d4b18b1731c1826dc52567f22e60 Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@pdimov.com>
Date: Thu, 21 Dec 2017 21:21:55 +0200
Subject: [PATCH] Add a few more mp_valid test cases

---
 test/mp_valid.cpp | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/test/mp_valid.cpp b/test/mp_valid.cpp
index 40ccbb8..15b57c3 100644
--- a/test/mp_valid.cpp
+++ b/test/mp_valid.cpp
@@ -25,6 +25,11 @@ template<class T> using add_pointer = T*;
 template<class T> using add_reference = T&;
 template<class T> using add_extents = T[];
 
+using boost::mp11::mp_quote;
+
+using QX = mp_quote<X>;
+using Q_add_pointer = mp_quote<add_pointer>;
+
 int main()
 {
     using boost::mp11::mp_valid;
@@ -39,6 +44,11 @@ int main()
     BOOST_TEST_TRAIT_FALSE((mp_valid<X, int>));
     BOOST_TEST_TRAIT_FALSE((mp_valid<X, void, void>));
 
+    BOOST_TEST_TRAIT_FALSE((mp_valid<QX::fn>));
+    BOOST_TEST_TRAIT_TRUE((mp_valid<QX::fn, void>));
+    BOOST_TEST_TRAIT_FALSE((mp_valid<QX::fn, int>));
+    BOOST_TEST_TRAIT_FALSE((mp_valid<QX::fn, void, void>));
+
     BOOST_TEST_TRAIT_FALSE((mp_valid<add_pointer>));
     BOOST_TEST_TRAIT_TRUE((mp_valid<add_pointer, void>));
     BOOST_TEST_TRAIT_TRUE((mp_valid<add_pointer, int>));
@@ -48,6 +58,11 @@ int main()
 #endif
     BOOST_TEST_TRAIT_FALSE((mp_valid<add_pointer, void, void>));
 
+    BOOST_TEST_TRAIT_FALSE((mp_valid<Q_add_pointer::fn>));
+    BOOST_TEST_TRAIT_TRUE((mp_valid<Q_add_pointer::fn, void>));
+    BOOST_TEST_TRAIT_TRUE((mp_valid<Q_add_pointer::fn, int>));
+    BOOST_TEST_TRAIT_FALSE((mp_valid<Q_add_pointer::fn, void, void>));
+
 #if !defined( BOOST_GCC ) || !BOOST_WORKAROUND( BOOST_GCC, < 70000 )
     // g++ up to at least 6.3 doesn't like add_reference for some reason or other
     BOOST_TEST_TRAIT_FALSE((mp_valid<add_reference>));