From 3242fdb1344731cd38b02fae544017da1477031a Mon Sep 17 00:00:00 2001
From: Peter Dimov <pdimov@pdimov.com>
Date: Fri, 24 Mar 2017 19:12:13 +0200
Subject: [PATCH] Use narrowing instead of static_assert in mp_take

---
 include/boost/mp11/algorithm.hpp | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/include/boost/mp11/algorithm.hpp b/include/boost/mp11/algorithm.hpp
index e88fe3b..309255c 100644
--- a/include/boost/mp11/algorithm.hpp
+++ b/include/boost/mp11/algorithm.hpp
@@ -315,16 +315,10 @@ template<template<class...> class L, class T1, class T2, class T3, class T4, cla
     using type = mp_append<L<T1, T2, T3, T4, T5>, typename mp_take_c_impl<L<T...>, N-5>::type>;
 };
 
-template<class L, class N> struct mp_take_impl
-{
-    static_assert( N::value >= 0, "mp_take<L, N>: N must not be negative" );
-    using type = typename mp_take_c_impl<L, N::value>::type;
-};
-
 } // namespace detail
 
 template<class L, std::size_t N> using mp_take_c = typename detail::mp_take_c_impl<L, N>::type;
-template<class L, class N> using mp_take = typename detail::mp_take_impl<L, N>::type;
+template<class L, class N> using mp_take = typename detail::mp_take_c_impl<L, std::size_t{ N::value }>::type;
 
 // mp_replace<L, V, W>
 namespace detail