---

yaml
---
r: 5514
b: refs/heads/master
c: c587745
h: refs/heads/master
v: v3

Author: brson

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 777a53631301b548be6c195361663178a926c4a3
+refs/heads/master: c5877450e605e842806140d3bdd93ca931fb60aa

trunk/src/comp/middle/trans_uniq.rs

@@ -4,7 +4,7 @@ import trans_common::*;
 import trans_build::*;
 import trans::{
     trans_shared_malloc,
-    type_of_or_i8,
+    type_of_inner,
     size_of,
     move_val_if_temp,
     node_id_type,
@@ -54,7 +54,9 @@ fn alloc_uniq(cx: @block_ctxt, uniq_ty: ty::t)
     bcx = r.bcx;
     let llsz = r.val;
 
-    let llptrty = T_ptr(type_of_or_i8(bcx, contents_ty));
+    let ccx = bcx_ccx(bcx);
+    check non_ty_var(ccx, contents_ty);
+    let llptrty = T_ptr(type_of_inner(ccx, bcx.sp, contents_ty));
 
     r = trans_shared_malloc(bcx, llptrty, llsz);
     bcx = r.bcx;

trunk/src/test/run-pass/foreach-unique-drop.rs

@@ -1,4 +1,3 @@
-// xfail-test
 
 obj ob<K>(k: K) {
     iter foo() -> ~{a: K} { put ~{a: k}; }

trunk/src/test/run-pass/generic-unique.rs

@@ -1,6 +1,5 @@
-// xfail-test
 
-fn box<T>(x: {x: T, y: T, z: T}) -> ~{x: T, y: T, z: T} { ret ~x; }
+fn box<@T>(x: {x: T, y: T, z: T}) -> ~{x: T, y: T, z: T} { ret ~x; }
 
 fn main() {
     let x: ~{x: int, y: int, z: int} = box::<int>({x: 1, y: 2, z: 3});