diff options
Diffstat (limited to 'src/hir/type.cpp')
| -rw-r--r-- | src/hir/type.cpp | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/src/hir/type.cpp b/src/hir/type.cpp index b6e930da..76154008 100644 --- a/src/hir/type.cpp +++ b/src/hir/type.cpp @@ -843,6 +843,17 @@ bool ::HIR::TypeRef::match_test_generics(const Span& sp, const ::HIR::TypeRef& x return Compare::Unequal; } ) + else TU_IFLET(::HIR::TypeRef::Data, right.m_data, Infer, le, + switch(le.ty_class) + { + case ::HIR::InferClass::None: + case ::HIR::InferClass::Diverge: + case ::HIR::InferClass::Integer: + return Compare::Fuzzy; + case ::HIR::InferClass::Float: + return Compare::Unequal; + } + ) else { return Compare::Unequal; } @@ -857,6 +868,17 @@ bool ::HIR::TypeRef::match_test_generics(const Span& sp, const ::HIR::TypeRef& x return Compare::Unequal; } ) + else TU_IFLET(::HIR::TypeRef::Data, right.m_data, Infer, le, + switch(le.ty_class) + { + case ::HIR::InferClass::None: + case ::HIR::InferClass::Diverge: + case ::HIR::InferClass::Float: + return Compare::Fuzzy; + case ::HIR::InferClass::Integer: + return Compare::Unequal; + } + ) else { return Compare::Unequal; } |