diff options
| -rw-r--r-- | src/mir/from_hir_match.cpp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/mir/from_hir_match.cpp b/src/mir/from_hir_match.cpp index 15034587..2c7ffcc7 100644 --- a/src/mir/from_hir_match.cpp +++ b/src/mir/from_hir_match.cpp @@ -1759,9 +1759,8 @@ struct DecisionTreeNode } ), (Terminal, - //if( e == arm_index ) // Wut? How would this happen? Exact duplicate pattern - // return ; - BUG(sp, "Duplicate terminal - Existing goes to arm " << e << ", new goes to arm " << arm_index ); + // TODO: This is ok if it's due to overlapping rules (e.g. ranges) + //BUG(sp, "Duplicate terminal - Existing goes to arm " << e << ", new goes to arm " << arm_index ); ) ) branch = Branch::make_Terminal(arm_index); |