---

yaml
---
r: 5727
b: refs/heads/master
c: 8db7153
h: refs/heads/master
i:
  5725: 4dfcaf4
  5723: 1eb672a
  5719: 8ee6215
  5711: 9fb5a03
  5695: e3a4f43
v: v3

Author: marijnh

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 2ff89469d43a3da326d7da50e4a97fb9c0ba359b
+refs/heads/master: 8db71530f55d21b9b5d076ac24242eb74e2f96bd

trunk/src/comp/middle/alias.rs

@@ -57,9 +57,18 @@ fn check_crate(tcx: ty::ctxt, crate: @ast::crate) -> copy_map {
     ret cx.copy_map;
 }
 
-fn visit_fn(cx: @ctx, f: ast::_fn, _tp: [ast::ty_param], _sp: span,
-            _name: fn_ident, _id: ast::node_id, sc: scope, v: vt<scope>) {
+fn visit_fn(cx: @ctx, f: ast::_fn, _tp: [ast::ty_param], sp: span,
+            _name: fn_ident, id: ast::node_id, sc: scope, v: vt<scope>) {
     visit::visit_fn_decl(f.decl, sc, v);
+    let args = ty::ty_fn_args(cx.tcx, ty::node_id_to_type(cx.tcx, id));
+    for arg in args {
+        if arg.mode == ast::by_val &&
+           ty::type_has_dynamic_size(cx.tcx, arg.ty) {
+            cx.tcx.sess.span_err
+                (sp, "can not pass a dynamically-sized type by value");
+        }
+    }
+
     let bs = alt f.proto {
       // Blocks need to obey any restrictions from the enclosing scope.
       ast::proto_block. | ast::proto_closure. { sc.bs }