summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJohn Hodge <tpg@mutabah.net>2016-11-09 08:25:00 +0800
committerJohn Hodge <tpg@mutabah.net>2016-11-09 08:25:00 +0800
commit679c2cfc60aa649852dfa59553a74eff91f9dc6f (patch)
tree7ff634d2465dc3f61c56cf7f76410ace04dd0ead
parent1aa8f457259bbda479a65cb10e1f17a2d3549e11 (diff)
downloadmrust-679c2cfc60aa649852dfa59553a74eff91f9dc6f.tar.gz
HIR Type Compare - Compare size in MTGF
-rw-r--r--src/hir/type.cpp3
1 files changed, 3 insertions, 0 deletions
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,