OpenE2K/rust
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Make the typechecker check that dynamically sized arguments are passed by alias

Browse Source 
Before, this would cause an assertion failure in trans.
This commit is contained in:
Tim Chevalier 2011-06-14 15:08:46 -07:00
parent c3015b8952
commit 05b7eb6dff
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/comp/middle/typeck.rs
View File

@ -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 {