aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/comp/middle/ty.rs7
1 files changed, 7 insertions, 0 deletions
diff --git a/src/comp/middle/ty.rs b/src/comp/middle/ty.rs
index 25ef8709..8b9ef6d1 100644
--- a/src/comp/middle/ty.rs
+++ b/src/comp/middle/ty.rs
@@ -471,6 +471,13 @@ fn type_has_dynamic_size(@t ty) -> bool {
i += 1u;
}
}
+ case (ty_tag(_, ?subtys)) {
+ auto i = 0u;
+ while (i < _vec.len[@t](subtys)) {
+ if (type_has_dynamic_size(subtys.(i))) { ret true; }
+ i += 1u;
+ }
+ }
case (ty_param(_)) { ret true; }
case (_) { /* fall through */ }
}