---

yaml
---
r: 42220
b: refs/heads/master
c: 959e382
h: refs/heads/master
v: v3

Author: brson

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: e30388f68203fe3749bab1ba6b2b5670f1fdead2
+refs/heads/master: 959e3823771ce0a58214c4547861d4f5a4a76ed8
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: 2f46b763da2c098913884f101b6d71d69af41b49
 refs/heads/try: 3d5418789064fdb463e872a4e651af1c628a3650

trunk/src/librustc/middle/trans/glue.rs

@@ -571,30 +571,9 @@ pub fn decr_refcnt_maybe_free(bcx: block,
     }
 }
 
-pub fn copy_glue_should_never_be_called(bcx: block, t: ty::t) -> bool {
-    match ty::get(t).sty {
-        ty::ty_infer(*)
-        | ty::ty_type
-        | ty::ty_opaque_closure_ptr(*)
-        | ty::ty_opaque_box
-        | ty::ty_unboxed_vec(*)
-        | ty::ty_err => {
-            // Not sure under what scenarios these non-types get take glue
-            false
-        }
-        _ => !ty::type_is_copyable(bcx.tcx(), t)
-    }
-}
 
 pub fn make_take_glue(bcx: block, v: ValueRef, t: ty::t) {
     let _icx = bcx.insn_ctxt("make_take_glue");
-
-    if copy_glue_should_never_be_called(bcx, t) {
-        controlflow::trans_fail(bcx, bcx.fcx.span,
-                                ~"calling take glue on non-copyable");
-        return;
-    }
-
     // NB: v is a *pointer* to type t here, not a direct value.
     let bcx = match ty::get(t).sty {
       ty::ty_box(_) | ty::ty_opaque_box |

trunk/src/librustc/middle/ty.rs

@@ -2181,8 +2181,7 @@ pub fn type_kind_ext(cx: ctxt, ty: t, allow_ty_var: bool) -> Kind {
 
       ty_type | ty_opaque_closure_ptr(_)
       | ty_opaque_box | ty_unboxed_vec(_) | ty_err => {
-          kind_copyable()
-        //cx.sess.bug(~"Asked to compute kind of fictitious type");
+        cx.sess.bug(~"Asked to compute kind of fictitious type");
       }
     };