diff --git a/src/comp/back/upcall.rs b/src/comp/back/upcall.rs
index cc080682fd4..ee59a05f620 100644
--- a/src/comp/back/upcall.rs
+++ b/src/comp/back/upcall.rs
@@ -79,7 +79,7 @@ fn declare_upcalls(tn: type_names, tydesc_type: TypeRef,
         ret trans::decl_cdecl_fn(llmod, "upcall_" + name, fn_ty);
     }
     fn decl_with_taskptr(taskptr_type: TypeRef, tn: type_names,
-                         llmod: ModuleRef, name: str, tys: TypeRef[],
+                         llmod: ModuleRef, name: str, tys: [TypeRef],
                          rv: TypeRef) -> ValueRef {
         ret decl(tn, llmod, name, ~[taskptr_type] + tys, rv);
     }
diff --git a/src/comp/middle/tstate/pre_post_conditions.rs b/src/comp/middle/tstate/pre_post_conditions.rs
index b4b78933e89..338d514011d 100644
--- a/src/comp/middle/tstate/pre_post_conditions.rs
+++ b/src/comp/middle/tstate/pre_post_conditions.rs
@@ -317,8 +317,8 @@ fn handle_var(fcx: &fn_ctxt, rslt: &pre_and_post, id: node_id, name: ident) {
 }
 
 fn forget_args_moved_in(fcx: &fn_ctxt, parent: &@expr,
-                        modes: &ty::mode[],
-                        operands: &(@expr)[]) {
+                        modes: &[ty::mode],
+                        operands: &[@expr]) {
     let i = 0;
     for mode: ty::mode in modes {
         if mode == ty::mo_move {