diff --git a/src/comp/middle/ty.rs b/src/comp/middle/ty.rs index 61053f77091d..ea2058d0785f 100644 --- a/src/comp/middle/ty.rs +++ b/src/comp/middle/ty.rs @@ -1222,6 +1222,12 @@ fn equal_type_structures(&sty a, &sty b) -> bool { case (_) { ret false; } } } + case (ty_istr) { + alt (b) { + case (ty_istr) { ret true; } + case (_) { ret false; } + } + } case (ty_tag(?id_a, ?tys_a)) { alt (b) { case (ty_tag(?id_b, ?tys_b)) { @@ -1251,6 +1257,12 @@ fn equal_type_structures(&sty a, &sty b) -> bool { case (_) { ret false; } } } + case (ty_ivec(?mt_a)) { + alt (b) { + case (ty_ivec(?mt_b)) { ret equal_mt(mt_a, mt_b); } + case (_) { ret false; } + } + } case (ty_ptr(?mt_a)) { alt (b) { case (ty_ptr(?mt_b)) { ret equal_mt(mt_a, mt_b); }