From eedd863d306be24e2033a5bb06f9893ef72e1738 Mon Sep 17 00:00:00 2001
From: John Hodge <tpg@mutabah.net>
Date: Fri, 25 Nov 2016 15:00:41 +0800
Subject: HIR Typecheck Expressions - Merge non-coercable options

---
 src/hir_typeck/expr_cs.cpp | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/hir_typeck/expr_cs.cpp b/src/hir_typeck/expr_cs.cpp
index 73524d87..7625b186 100644
--- a/src/hir_typeck/expr_cs.cpp
+++ b/src/hir_typeck/expr_cs.cpp
@@ -5137,7 +5137,6 @@ namespace {
                         return false;
                         ),
                     (Path,
-                        #if 0
                         if( e_ia.binding.tag() != e_ib.binding.tag() )
                             return false;
                         const ::HIR::TraitMarkings* tm = nullptr;
@@ -5165,9 +5164,6 @@ namespace {
                             return true;
                         // It _could_ unsize, so let it coexist
                         return false;
-                        #else
-                        return context.m_ivars.types_equal(ia, ib);
-                        #endif
                         ),
                     (Slice,
                         const auto& ia2 = context.m_ivars.get_type(*e_ia.inner);
-- 
cgit v1.2.3