summaryrefslogtreecommitdiff
path: root/src/hir/type.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/hir/type.cpp')
-rw-r--r--src/hir/type.cpp4
1 files changed, 1 insertions, 3 deletions
diff --git a/src/hir/type.cpp b/src/hir/type.cpp
index 28d11aa9..ae49f3db 100644
--- a/src/hir/type.cpp
+++ b/src/hir/type.cpp
@@ -301,9 +301,7 @@ bool ::HIR::TypeRef::match_test_generics(const Span& sp, const ::HIR::TypeRef& x
BUG(sp, "Encountered '_' as this - " << *this);
}
if( m_data.is_Generic() ) {
- callback(m_data.as_Generic().binding, x_in);
- // - TODO: Allow callback to return a match form
- return Compare::Equal;
+ return callback(m_data.as_Generic().binding, x_in);
}
const auto& x = (x_in.m_data.is_Infer() || x_in.m_data.is_Generic() ? resolve_placeholder(x_in) : x_in);
TU_IFLET(::HIR::TypeRef::Data, x.m_data, Infer, xe,