---

yaml
---
r: 1499
b: refs/heads/master
c: 2a241ec
h: refs/heads/master
i:
  1497: f316cde
  1495: b179414
v: v3

Author: pcwalton

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 5dba7a77d2c7396989262da3de5ea055bed151bc
+refs/heads/master: 2a241ece3a8fdaa536946b29eeab4524da164903

trunk/src/comp/middle/trans.rs

@@ -417,7 +417,17 @@ fn T_opaque_obj_ptr(type_names tn) -> TypeRef {
 }
 
 
+// This function now fails if called on a type with dynamic size (as its
+// return value was always meaningless in that case anyhow). Beware!
+//
+// TODO: Enforce via a predicate.
 fn type_of(@crate_ctxt cx, @ty.t t) -> TypeRef {
+    if (ty.type_has_dynamic_size(t)) {
+        log "type_of() called on a type with dynamic size: " +
+            ty.ty_to_str(t);
+        fail;
+    }
+
     ret type_of_inner(cx, t);
 }