From 28707686cf39aea27c4ec63911ee52f33e13efbd Mon Sep 17 00:00:00 2001
From: Andersama <anderson.john.alexander@gmail.com>
Date: Wed, 6 Jan 2021 22:12:03 -0800
Subject: [PATCH] patch: handles all forms of repeats

---
 include/ctre/starts_with_anchor.hpp | 27 ++++++++++++---------------
 1 file changed, 12 insertions(+), 15 deletions(-)

diff --git a/include/ctre/starts_with_anchor.hpp b/include/ctre/starts_with_anchor.hpp
index 62c28b97..807bbcc8 100644
--- a/include/ctre/starts_with_anchor.hpp
+++ b/include/ctre/starts_with_anchor.hpp
@@ -34,18 +34,6 @@ constexpr bool starts_with_anchor(const flags & f, ctll::list<select<Options...>
 	return (starts_with_anchor(f, ctll::list<Options, Content...>{}) && ... && true);
 }
 
-template <typename... Optional, typename... Content> 
-constexpr bool starts_with_anchor(const flags & f, ctll::list<optional<Optional...>, Content...>) noexcept {
-	// check if all options starts with anchor or if they are empty, there is an anchor behind them
-	return starts_with_anchor(f, ctll::list<Optional..., Content...>{}) && starts_with_anchor(f, ctll::list<Content...>{});
-}
-
-template <typename... Optional, typename... Content> 
-constexpr bool starts_with_anchor(const flags & f, ctll::list<lazy_optional<Optional...>, Content...>) noexcept {
-	// check if all options starts with anchor or if they are empty, there is an anchor behind them
-	return starts_with_anchor(f, ctll::list<Optional..., Content...>{}) && starts_with_anchor(f, ctll::list<Content...>{});
-}
-
 template <typename... Seq, typename... Content> 
 constexpr bool starts_with_anchor(const flags & f, ctll::list<sequence<Seq...>, Content...>) noexcept {
 	// check if all options starts with anchor or if they are empty, there is an anchor behind them
@@ -55,19 +43,28 @@ constexpr bool starts_with_anchor(const flags & f, ctll::list<sequence<Seq...>,
 template <size_t A, size_t B, typename... Seq, typename... Content> 
 constexpr bool starts_with_anchor(const flags & f, ctll::list<repeat<A, B, Seq...>, Content...>) noexcept {
 	// check if all options starts with anchor or if they are empty, there is an anchor behind them
-	return starts_with_anchor(f, ctll::list<Seq..., Content...>{});
+	if constexpr (A > 0)
+		return starts_with_anchor(f, ctll::list<Seq..., Content...>{});
+	else
+		return starts_with_anchor(f, ctll::list<Seq..., Content...>{}) && starts_with_anchor(f, ctll::list<Content...>{});
 }
 
 template <size_t A, size_t B, typename... Seq, typename... Content> 
 constexpr bool starts_with_anchor(const flags & f, ctll::list<lazy_repeat<A, B, Seq...>, Content...>) noexcept {
 	// check if all options starts with anchor or if they are empty, there is an anchor behind them
-	return starts_with_anchor(f, ctll::list<Seq..., Content...>{});
+	if constexpr (A > 0)
+		return starts_with_anchor(f, ctll::list<Seq..., Content...>{});
+	else
+		return starts_with_anchor(f, ctll::list<Seq..., Content...>{}) && starts_with_anchor(f, ctll::list<Content...>{});
 }
 
 template <size_t A, size_t B, typename... Seq, typename... Content> 
 constexpr bool starts_with_anchor(const flags & f, ctll::list<possessive_repeat<A, B, Seq...>, Content...>) noexcept {
 	// check if all options starts with anchor or if they are empty, there is an anchor behind them
-	return starts_with_anchor(f, ctll::list<Seq..., Content...>{});
+	if constexpr (A > 0)
+		return starts_with_anchor(f, ctll::list<Seq..., Content...>{});
+	else
+		return starts_with_anchor(f, ctll::list<Seq..., Content...>{}) && starts_with_anchor(f, ctll::list<Content...>{});
 }
 
 template <size_t Index, typename... Seq, typename... Content>