---

yaml
---
r: 3079
b: refs/heads/master
c: 05b7eb6
h: refs/heads/master
i:
  3077: 9286ebc
  3075: 6623f68
  3071: fa4a634
v: v3

Author: catamorphism

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: e6f87a75250088e248e56d81e5a384f7b4909210
+refs/heads/master: 05b7eb6dff850ef9265f09ed18baf7f09590bf72

trunk/src/comp/middle/typeck.rs

@@ -527,7 +527,17 @@ mod collect {
     fn ty_of_arg(@ctxt cx, &ast::arg a) -> ty::arg {
         auto ty_mode = ast_mode_to_mode(a.mode);
         auto f = bind getter(cx, _);
-        ret rec(mode=ty_mode, ty=ast_ty_to_ty(cx.tcx, f, a.ty));
+        auto tt = ast_ty_to_ty(cx.tcx, f, a.ty);
+        if (ty::type_has_dynamic_size(cx.tcx, tt)) {
+            alt (ty_mode) {
+                case (mo_val) {
+                    cx.tcx.sess.span_err(a.ty.span,
+                      "Dynamically sized arguments must be passed by alias");
+                }
+                case (_) { }
+            }
+        }
+        ret rec(mode=ty_mode, ty=tt);
     }
 
     fn ty_of_method(@ctxt cx, &@ast::method m) -> ty::method {

trunk/src/snapshots.txt

@@ -1,8 +1,3 @@
-S 2011-06-14 c3015b8
-  linux-i386 b091d33519a1bbf6cf12ee1954a1607940ae3915
-  macos-i386 7d47cece095a7b30f5a3e2467417652d3b2353e5
-  winnt-i386 27d57fd96d2c328d83fcbf7322035019377ab40f
-
 S 2011-06-09 efcf857
   linux-i386 af8e6dba00bdf290768251d55bdda9cba6752e4f
   macos-i386 0c45af8b96effa957906d1d6a2e05bffd627aa51