From 48a0546eea26b64e53cb1f5f2a75987e7a1b124a Mon Sep 17 00:00:00 2001
From: Joel de Guzman <djowel@gmail.com>
Date: Fri, 12 Aug 2011 05:11:41 +0000
Subject: [PATCH] added static sanity check

[SVN r73684]
---
 .../boost/fusion/view/single_view/detail/next_impl.hpp    | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/include/boost/fusion/view/single_view/detail/next_impl.hpp b/include/boost/fusion/view/single_view/detail/next_impl.hpp
index e4b33810..95132100 100644
--- a/include/boost/fusion/view/single_view/detail/next_impl.hpp
+++ b/include/boost/fusion/view/single_view/detail/next_impl.hpp
@@ -2,13 +2,14 @@
     Copyright (c) 2001-2006 Joel de Guzman
     Copyright (c) 2011 Eric Niebler
 
-    Distributed under the Boost Software License, Version 1.0. (See accompanying 
+    Distributed under the Boost Software License, Version 1.0. (See accompanying
     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
 ==============================================================================*/
 #if !defined(BOOST_FUSION_SINGLE_VIEW_NEXT_IMPL_05052005_0331)
 #define BOOST_FUSION_SINGLE_VIEW_NEXT_IMPL_05052005_0331
 
 #include <boost/mpl/next.hpp>
+#include <boost/static_assert.hpp>
 
 namespace boost { namespace fusion
 {
@@ -26,16 +27,17 @@ namespace boost { namespace fusion
         struct next_impl<single_view_iterator_tag>
         {
             template <typename Iterator>
-            struct apply 
+            struct apply
             {
                 typedef single_view_iterator<
                     typename Iterator::single_view_type,
                     typename mpl::next<typename Iterator::position>::type>
                 type;
-    
+
                 static type
                 call(Iterator const& i)
                 {
+                    BOOST_STATIC_ASSERT((type::position::value < 2));
                     return type(i.view);
                 }
             };