diff --git a/clang/include/clang/ASTMatchers/ASTMatchers.h b/clang/include/clang/ASTMatchers/ASTMatchers.h
--- a/clang/include/clang/ASTMatchers/ASTMatchers.h
+++ b/clang/include/clang/ASTMatchers/ASTMatchers.h
@@ -2637,21 +2637,21 @@
 ///
 /// Usable as: Any Matcher
 extern const internal::VariadicOperatorMatcherFunc<
-    2, std::numeric_limits<unsigned>::max()>
+    0, std::numeric_limits<unsigned>::max()>
     eachOf;
 
 /// Matches if any of the given matchers matches.
 ///
 /// Usable as: Any Matcher
 extern const internal::VariadicOperatorMatcherFunc<
-    2, std::numeric_limits<unsigned>::max()>
+    0, std::numeric_limits<unsigned>::max()>
     anyOf;
 
 /// Matches if all given matchers match.
 ///
 /// Usable as: Any Matcher
 extern const internal::VariadicOperatorMatcherFunc<
-    2, std::numeric_limits<unsigned>::max()>
+    0, std::numeric_limits<unsigned>::max()>
     allOf;
 
 /// Matches any node regardless of the submatcher.
diff --git a/clang/lib/ASTMatchers/ASTMatchersInternal.cpp b/clang/lib/ASTMatchers/ASTMatchersInternal.cpp
--- a/clang/lib/ASTMatchers/ASTMatchersInternal.cpp
+++ b/clang/lib/ASTMatchers/ASTMatchersInternal.cpp
@@ -399,6 +399,8 @@
                                    ASTMatchFinder *Finder,
                                    BoundNodesTreeBuilder *Builder,
                                    ArrayRef<DynTypedMatcher> InnerMatchers) {
+  if (InnerMatchers.empty())
+    return true;
   BoundNodesTreeBuilder Result;
   bool Matched = false;
   for (const DynTypedMatcher &InnerMatcher : InnerMatchers) {
@@ -416,6 +418,8 @@
                                   ASTMatchFinder *Finder,
                                   BoundNodesTreeBuilder *Builder,
                                   ArrayRef<DynTypedMatcher> InnerMatchers) {
+  if (InnerMatchers.empty())
+    return true;
   for (const DynTypedMatcher &InnerMatcher : InnerMatchers) {
     BoundNodesTreeBuilder Result = *Builder;
     if (InnerMatcher.matches(DynNode, Finder, &Result)) {
@@ -952,13 +956,13 @@
 const internal::VariadicDynCastAllOfMatcher<Stmt, DesignatedInitExpr>
     designatedInitExpr;
 const internal::VariadicOperatorMatcherFunc<
-    2, std::numeric_limits<unsigned>::max()>
+    0, std::numeric_limits<unsigned>::max()>
     eachOf = {internal::DynTypedMatcher::VO_EachOf};
 const internal::VariadicOperatorMatcherFunc<
-    2, std::numeric_limits<unsigned>::max()>
+    0, std::numeric_limits<unsigned>::max()>
     anyOf = {internal::DynTypedMatcher::VO_AnyOf};
 const internal::VariadicOperatorMatcherFunc<
-    2, std::numeric_limits<unsigned>::max()>
+    0, std::numeric_limits<unsigned>::max()>
     allOf = {internal::DynTypedMatcher::VO_AllOf};
 const internal::VariadicOperatorMatcherFunc<1, 1> optionally = {
     internal::DynTypedMatcher::VO_Optionally};
diff --git a/clang/unittests/ASTMatchers/ASTMatchersNarrowingTest.cpp b/clang/unittests/ASTMatchers/ASTMatchersNarrowingTest.cpp
--- a/clang/unittests/ASTMatchers/ASTMatchersNarrowingTest.cpp
+++ b/clang/unittests/ASTMatchers/ASTMatchersNarrowingTest.cpp
@@ -184,6 +184,10 @@
                    hasArgument(1, hasType(pointsTo(recordDecl(hasName("T"))))),
                    hasArgument(2, integerLiteral(equals(3))),
                    hasArgument(3, integerLiteral(equals(4)))))));
+
+  EXPECT_TRUE(
+      matches("int F() { return 1; }", integerLiteral(allOf(equals(1)))));
+  EXPECT_TRUE(matches("int F() { return 1; }", integerLiteral(allOf())));
 }
 
 TEST_P(ASTMatchersTest, Has) {
@@ -463,6 +467,10 @@
   EXPECT_TRUE(
       matches("void f() try { } catch (int) { } catch (...) { }",
               cxxCatchStmt(anyOf(hasDescendant(varDecl()), isCatchAll()))));
+
+  EXPECT_TRUE(
+      matches("int F() { return 1; }", integerLiteral(anyOf(equals(1)))));
+  EXPECT_TRUE(matches("int F() { return 1; }", integerLiteral(anyOf())));
 }
 
 TEST_P(ASTMatchersTest, IsDerivedFrom) {
@@ -2451,6 +2459,10 @@
       recordDecl(eachOf(has(fieldDecl(hasName("a")).bind("v")),
                         has(fieldDecl(hasName("b")).bind("v")))),
       std::make_unique<VerifyIdIsBoundTo<FieldDecl>>("v", 2)));
+
+  EXPECT_TRUE(
+      matches("int F() { return 1; }", integerLiteral(eachOf(equals(1)))));
+  EXPECT_TRUE(matches("int F() { return 1; }", integerLiteral(eachOf())));
 }
 
 TEST_P(ASTMatchersTest, EachOf_BehavesLikeAnyOfUnlessBothMatch) {