---

yaml
---
r: 4541
b: refs/heads/master
c: a8a4d4e
h: refs/heads/master
i:
  4539: 9bd8bbf
v: v3

Author: catamorphism

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 6b756c4b4a0f632e537cdfd2c0ac63cea357c8ad
+refs/heads/master: a8a4d4ec056b68ac25a04ea020cdc674527a76df

trunk/src/comp/middle/trans.rs

@@ -995,7 +995,16 @@ fn get_tydesc(cx: &@block_ctxt, orig_t: &ty::t, escapes: bool,
 
     // Is the supplied type a type param? If so, return the passed-in tydesc.
     alt ty::type_param(bcx_tcx(cx), t) {
-      some(id) { ret rslt(cx, cx.fcx.lltydescs.(id)); }
+      some(id) {
+        if id < std::ivec::len(cx.fcx.lltydescs) {
+            ret rslt(cx, cx.fcx.lltydescs.(id));
+        }
+        else {
+            bcx_tcx(cx).sess.span_bug(cx.sp, "Unbound typaram in get_tydesc: "
+              + "orig_t = " + ty_to_str(bcx_tcx(cx), orig_t)
+              + " ty_param = " + std::uint::str(id));
+        }
+      }
       none. {/* fall through */ }
     }
 
@@ -4517,7 +4526,9 @@ fn trans_arg_expr(cx: &@block_ctxt, arg: &ty::arg,
     // Collect arg for later if it happens to be one we've moving out.
     if arg.mode == ty::mo_move {
         if lv.is_mem {
-            to_zero += ~[{v: lv.res.val, t: arg.ty}];
+      // Use actual ty, not declared ty -- anything else doesn't make sense
+      // if declared ty is a ty param
+            to_zero += ~[{v: lv.res.val, t: e_ty}];
         } else {
             to_revoke += ~[lv.res.val];
         }
@@ -4668,7 +4679,7 @@ fn trans_call(cx: &@block_ctxt, f: &@ast::expr,
     /*
     log "calling: " + val_str(bcx_ccx(cx).tn, faddr);
 
-    for (ValueRef arg in llargs) {
+    for arg: ValueRef in llargs {
         log "arg: " + val_str(bcx_ccx(cx).tn, arg);
     }
     */

trunk/src/test/run-fail/bug-811.rs

@@ -0,0 +1,16 @@
+// error-pattern:quux
+fn test00_start(ch: chan_t[int], message: int) {
+    send(ch, message);
+}
+
+type task_id = int;
+type port_id = int;
+
+type chan_t[~T] = {
+    task : task_id,
+    port : port_id
+};
+
+fn send[~T](ch : chan_t[T], data : -T) { fail; }
+
+fn main() { fail "quux"; }