From a0ca5e5eb28932ed0efa14a4c5f981d097acbd51 Mon Sep 17 00:00:00 2001
From: John Hodge <tpg@ucc.asn.au>
Date: Sun, 1 Oct 2017 10:27:32 +0800
Subject: Resolve UFCS - Disable checking in type aliases

---
 src/hir_conv/resolve_ufcs.cpp | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/hir_conv/resolve_ufcs.cpp b/src/hir_conv/resolve_ufcs.cpp
index f57ad2c2..17a61776 100644
--- a/src/hir_conv/resolve_ufcs.cpp
+++ b/src/hir_conv/resolve_ufcs.cpp
@@ -70,6 +70,13 @@ namespace {
             auto _ = m_resolve.set_item_generics(item.m_params);
             ::HIR::Visitor::visit_function(p, item);
         }
+        void visit_type_alias(::HIR::ItemPath p, ::HIR::TypeAlias& item) override {
+            // NOTE: Disabled, becuase generics in type aliases are never checked
+#if 0
+            auto _ = m_resolve.set_item_generics(item.m_params);
+            ::HIR::Visitor::visit_function(p, item);
+#endif
+        }
         void visit_trait(::HIR::ItemPath p, ::HIR::Trait& trait) override {
             m_current_trait = &trait;
             m_current_trait_path = &p;
-- 
cgit v1.2.3