---

yaml
---
r: 1138
b: refs/heads/master
c: daac7a8
h: refs/heads/master
v: v3

Author: pcwalton

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 3f3a121043f72a1662f0b0ad24ca2fd09f4b4f27
+refs/heads/master: daac7a8b130f8f2dfbdeaf38ff39541adfd74736

trunk/src/comp/middle/ty.rs

@@ -379,6 +379,27 @@ fn type_is_scalar(@t ty) -> bool {
     fail;
 }
 
+fn type_has_dynamic_size(@t ty) -> bool {
+    alt (ty.struct) {
+        case (ty_tup(?ts)) {
+            auto i = 0u;
+            while (i < _vec.len[@t](ts)) {
+                if (type_has_dynamic_size(ts.(i))) { ret true; }
+                i += 1u;
+            }
+        }
+        case (ty_rec(?fields)) {
+            auto i = 0u;
+            while (i < _vec.len[field](fields)) {
+                if (type_has_dynamic_size(fields.(i).ty)) { ret true; }
+                i += 1u;
+            }
+        }
+        case (ty_param(_)) { ret true; }
+        case (_) { /* fall through */ }
+    }
+    ret false;
+}
 
 fn type_is_integral(@t ty) -> bool {
     alt (ty.struct) {