From 01c0d4e198e2d6671ff3db19f977d088af4ecb15 Mon Sep 17 00:00:00 2001
From: John Hodge <tpg@ucc.asn.au>
Date: Sat, 2 Sep 2017 11:26:29 +0800
Subject: HIR Typecheck - Don't panic on excessive asociated type loops, just
 break early

---
 src/hir_typeck/expr_cs.cpp | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/hir_typeck/expr_cs.cpp b/src/hir_typeck/expr_cs.cpp
index e63a39b5..fff42abe 100644
--- a/src/hir_typeck/expr_cs.cpp
+++ b/src/hir_typeck/expr_cs.cpp
@@ -6016,7 +6016,11 @@ void Typecheck_Code_CS(const typeck::ModuleState& ms, t_args& args, const ::HIR:
                 i ++;
             }
 
-            ASSERT_BUG(Span(), link_assoc_iter_limit -- > 0, "link_assoc iteration limit exceeded");
+            if( link_assoc_iter_limit -- == 0 )
+            {
+                DEBUG("link_assoc iteration limit exceeded");
+                break;
+            }
         }
         // 4. Revisit nodes that require revisiting
         DEBUG("--- Node revisits");
-- 
cgit v1.2.3