HIR Typecheck Static - Error if an impl couldn't be found in EAT

1 files changed, 1 insertions, 16 deletions

diff --git a/src/hir_typeck/static.cpp b/src/hir_typeck/static.cpp
index 9287440f..050ca392 100644
--- a/src/hir_typeck/static.cpp
+++ b/src/hir_typeck/static.cpp
@@ -739,23 +739,8 @@ void StaticTraitResolve::expand_associated_types__UfcsKnown(const Span& sp, ::HI
         this->expand_associated_types(sp, input);
         return;
     }
-    /*
-    if( best_impl.is_valid() ) {
-        auto nt = best_impl.get_type( e2.item.c_str() );
-        DEBUG("Converted UfcsKnown (best specialisation) - " << e.path << " = " << nt);
-        input = mv$(nt);
-        
-        this->expand_associated_types(sp, input);
-        return;
-    }
-    */
     
-    // If the type is a generic or an opaque associated, we can't know.
-    // - If the trait contains any of the above, it's unknowable
-    // - Otherwise, it's an error
-    e.binding = ::HIR::TypeRef::TypePathBinding::make_Opaque({});
-    this->replace_equalities(input);
-    DEBUG("Couldn't resolve associated type for " << input << " (and won't ever be able to, assuming opaque)");
+    ERROR(sp, E0000, "Cannot find an implementation of " << trait_path << " for " << *e2.type);
 }
 
 void StaticTraitResolve::replace_equalities(::HIR::TypeRef& input) const