From 679c2cfc60aa649852dfa59553a74eff91f9dc6f Mon Sep 17 00:00:00 2001 From: John Hodge Date: Wed, 9 Nov 2016 08:25:00 +0800 Subject: HIR Type Compare - Compare size in MTGF --- src/hir/type.cpp | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/hir/type.cpp') diff --git a/src/hir/type.cpp b/src/hir/type.cpp index 226dccf2..e1d701ef 100644 --- a/src/hir/type.cpp +++ b/src/hir/type.cpp @@ -685,6 +685,9 @@ bool ::HIR::TypeRef::match_test_generics(const Span& sp, const ::HIR::TypeRef& x TODO(sp, "ErasedType - match_test_generics_fuzz - " << v << " -- " << x); ), (Array, + if( te.size_val != xe.size_val ) { + return Compare::Unequal; + } return te.inner->match_test_generics_fuzz( sp, *xe.inner, resolve_placeholder, callback ); ), (Slice, -- cgit v1.2.3