---

yaml
---
r: 661
b: refs/heads/master
c: 67aa39e
h: refs/heads/master
i:
  659: 10ed396
v: v3

Author: graydon

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: a493350eb5ab38ba8a6563f3eb4a090d257b0d3a
+refs/heads/master: 67aa39e1ef4358c309f4b07f1d587a0dad6dddf8

trunk/src/Makefile

@@ -488,6 +488,7 @@ TEST_XFAILS_LLVM := $(TASK_XFAILS) \
                       lazy-and-or.rs \
                       lazy-init.rs \
                       lazychan.rs \
+                      leak-box-as-tydesc.rs \
                       lib-deque.rs \
                       lib-int.rs \
                       lib-io.rs \

trunk/src/boot/me/trans.ml

@@ -2562,8 +2562,8 @@ let trans_visitor
 
   and get_tydesc (idopt:node_id option) (ty:Ast.ty) : Il.cell =
     log cx "getting tydesc for %a" Ast.sprintf_ty ty;
-    let (ty, mut) = simplified_ty_innermost_was_mutable ty in
-    match ty with
+    let (ty', mut) = simplified_ty_innermost_was_mutable ty in
+    match ty' with
         Ast.TY_param (idx, _) ->
           (get_ty_param_in_current_frame idx)
       | t when has_parametric_types t ->

trunk/src/test/run-pass/leak-box-as-tydesc.rs

@@ -0,0 +1,7 @@
+fn leaky[T](T t) {
+}
+
+fn main() {
+  auto x = @10;
+  leaky[@int](x);
+}