Resolve UFCS - Disable checking in type aliases

1 files changed, 7 insertions, 0 deletions

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;