From b63814d3f21c2f1fb27ab1ae69618644364a841f Mon Sep 17 00:00:00 2001
From: Dave Abrahams <dave@boostpro.com>
Date: Sun, 23 Nov 2003 17:07:04 +0000
Subject: [PATCH] Check *implicit* convertibility from reference to value

[SVN r20925]
---
 include/boost/iterator/iterator_concepts.hpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/include/boost/iterator/iterator_concepts.hpp b/include/boost/iterator/iterator_concepts.hpp
index c549999..76b75a5 100644
--- a/include/boost/iterator/iterator_concepts.hpp
+++ b/include/boost/iterator/iterator_concepts.hpp
@@ -21,6 +21,7 @@
 
 #include <boost/type_traits/is_same.hpp>
 #include <boost/type_traits/is_integral.hpp>
+#include <boost/type_traits/is_convertible.hpp>
 
 #include <boost/mpl/bool.hpp>
 #include <boost/mpl/if.hpp>
@@ -68,7 +69,8 @@ namespace boost_concepts {
         boost::DefaultConstructibleConcept<Iterator> >();
 
       reference r = *i; // or perhaps read(x)
-      value_type v(r);
+      value_type v = r;
+      value_type v2 = *i;
       boost::ignore_unused_variable_warning(v);
     }
     Iterator i;