From 374d6d0f4e5c791d3934010655fb288b9ca16e80 Mon Sep 17 00:00:00 2001
From: Dave Abrahams <dave@boostpro.com>
Date: Sat, 18 Feb 2006 20:54:15 +0000
Subject: [PATCH] Add a failing test case

[SVN r32997]
---
 test/multiset.cpp | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)

diff --git a/test/multiset.cpp b/test/multiset.cpp
index b1dce73..e57a734 100644
--- a/test/multiset.cpp
+++ b/test/multiset.cpp
@@ -17,6 +17,9 @@
 #include <boost/mpl/count.hpp>
 #include <boost/mpl/aux_/test.hpp>
 
+#include <boost/mpl/assert.hpp>
+#include <boost/mpl/size.hpp>
+#include <boost/mpl/find.hpp>
 
 MPL_TEST_CASE()
 {
@@ -34,3 +37,32 @@ MPL_TEST_CASE()
     MPL_ASSERT_RELATION( (count<s3,char&>::value), ==, 1 );
     MPL_ASSERT_RELATION( (count<s4,abstract>::value), ==, 1 );
 }
+
+
+// Use a template for testing so that GCC will show us the actual types involved
+template <class S>
+void test()
+{
+    BOOST_MPL_ASSERT_RELATION( size<S>::value, ==, 3 );
+
+    typedef typename end<S>::type not_found;
+    BOOST_MPL_ASSERT_NOT(( is_same<BOOST_DEDUCED_TYPENAME find<S,int>::type,not_found> ));
+    BOOST_MPL_ASSERT_NOT(( is_same<BOOST_DEDUCED_TYPENAME find<S,long>::type,not_found> ));
+    BOOST_MPL_ASSERT_NOT(( is_same<BOOST_DEDUCED_TYPENAME find<S,char>::type,not_found> ));
+    BOOST_MPL_ASSERT(( is_same<BOOST_DEDUCED_TYPENAME find<S,char*>::type,not_found> ));
+};
+
+MPL_TEST_CASE()
+{
+    typedef insert<multiset0<>, int> set_of_1_int;
+    typedef begin<set_of_1_int>::type iter_to_1_int;
+    BOOST_MPL_ASSERT(( is_same< deref<iter_to_1_int>::type, int > ));
+    
+    typedef multiset0<> s0;
+    typedef insert<s0,int>::type s1;
+    typedef insert<s1,long>::type s2;
+    typedef insert<s2,char>::type myset;
+    
+    test<myset>();
+    test<myset::type>();
+}