diff DEPENDENCIES/generic/include/boost/range/adaptor/uniqued.hpp @ 101:c530137014c0

Update Boost headers (1.58.0)
author Chris Cannam
date Mon, 07 Sep 2015 11:12:49 +0100
parents 2665513ce2d3
children
line wrap: on
line diff
--- a/DEPENDENCIES/generic/include/boost/range/adaptor/uniqued.hpp	Fri Sep 04 12:01:02 2015 +0100
+++ b/DEPENDENCIES/generic/include/boost/range/adaptor/uniqued.hpp	Mon Sep 07 11:12:49 2015 +0100
@@ -12,6 +12,7 @@
 #define BOOST_RANGE_ADAPTOR_UNIQUED_IMPL_HPP
 
 #include <boost/range/adaptor/adjacent_filtered.hpp>
+#include <boost/range/concepts.hpp>
 
 namespace boost
 {
@@ -47,6 +48,7 @@
         operator|( ForwardRng& r,
                    unique_forwarder )
         {
+            BOOST_RANGE_CONCEPT_ASSERT((ForwardRangeConcept<ForwardRng>));
             return uniqued_range<ForwardRng>(r);
         }
 
@@ -55,6 +57,7 @@
         operator|( const ForwardRng& r,
                    unique_forwarder )
         {
+            BOOST_RANGE_CONCEPT_ASSERT((ForwardRangeConcept<const ForwardRng>));
             return uniqued_range<const ForwardRng>(r);
         }
 
@@ -74,6 +77,7 @@
         inline uniqued_range<ForwardRange>
         unique(ForwardRange& rng)
         {
+            BOOST_RANGE_CONCEPT_ASSERT((ForwardRangeConcept<ForwardRange>));
             return uniqued_range<ForwardRange>(rng);
         }
 
@@ -81,6 +85,9 @@
         inline uniqued_range<const ForwardRange>
         unique(const ForwardRange& rng)
         {
+            BOOST_RANGE_CONCEPT_ASSERT((
+                ForwardRangeConcept<const ForwardRange>));
+
             return uniqued_range<const ForwardRange>(rng);
         }
     } // 'adaptors'