Merge pull request #2338 from n8sh/port-phobos-6402

Port more efficient allSatisfy/anySatisfy from dlang/phobos#6402
merged-on-behalf-of: Sebastian Wilzbach <sebi.wilzbach@gmail.com>

Author: dlang-bot

src/core/internal/traits.d

@@ -128,45 +128,38 @@ template dtorIsNothrow(T)
     enum dtorIsNothrow = is(typeof(function{T t=void;}) : void function() nothrow);
 }
 
-/*
-Tests whether all given items satisfy a template predicate, i.e. evaluates to
-$(D F!(T[0]) && F!(T[1]) && ... && F!(T[$ - 1])).
-*/
+// taken from std.meta.allSatisfy
 package(core.internal)
 template allSatisfy(alias F, T...)
 {
-    static if (T.length == 0)
-    {
-        enum allSatisfy = true;
-    }
-    else static if (T.length == 1)
+    static foreach (Ti; T)
     {
-        enum allSatisfy = F!(T[0]);
+        static if (!is(typeof(allSatisfy) == bool) && // not yet defined
+                   !F!(Ti))
+        {
+            enum allSatisfy = false;
+        }
     }
-    else
+    static if (!is(typeof(allSatisfy) == bool)) // if not yet defined
     {
-        static if (allSatisfy!(F, T[0  .. $/2]))
-            enum allSatisfy = allSatisfy!(F, T[$/2 .. $]);
-        else
-            enum allSatisfy = false;
+        enum allSatisfy = true;
     }
 }
 
+// taken from std.meta.anySatisfy
 template anySatisfy(alias F, T...)
 {
-    static if (T.length == 0)
-    {
-        enum anySatisfy = false;
-    }
-    else static if (T.length == 1)
+    static foreach (Ti; T)
     {
-        enum anySatisfy = F!(T[0]);
+        static if (!is(typeof(anySatisfy) == bool) && // not yet defined
+                   F!(Ti))
+        {
+            enum anySatisfy = true;
+        }
     }
-    else
+    static if (!is(typeof(anySatisfy) == bool)) // if not yet defined
     {
-        enum anySatisfy =
-            anySatisfy!(F, T[ 0  .. $/2]) ||
-            anySatisfy!(F, T[$/2 ..  $ ]);
+        enum anySatisfy = false;
     }
 }