fix: infinite recursion when identifying SFINAE types

cppalliance · Oct 1, 2024 · 5750b79 · 5750b79
1 parent e6205d5
commit 5750b79
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/lib/AST/ASTVisitor.cpp b/src/lib/AST/ASTVisitor.cpp
@@ -1716,6 +1716,11 @@ class ASTVisitor
                             return true;
                         continue;
                     }
+                    // if the class inherits from itself, we can't determine whether
+                    // it's a SFINAE type
+                    if(declaresSameEntity(TD, sfinae_info->Template))
+                        return true;
+
                     auto sfinae_result = isSFINAETemplate(
                         sfinae_info->Template, Member);
                     if(! sfinae_result)