about summary refs log tree commit diff
diff options
context:
space:
mode:
authorNiko Matsakis <niko@alum.mit.edu>2012-03-27 15:42:37 -0700
committerNiko Matsakis <niko@alum.mit.edu>2012-03-27 15:44:36 -0700
commitc9102ee7a1e9c01e9befca44a0c0cb474fff89b4 (patch)
tree1245392d9a70e9de76d96f62131388ff4e6c40c8
parent42f2810eca4ad1dd3d9b62e75027824f4a7caa2e (diff)
downloadrust-c9102ee7a1e9c01e9befca44a0c0cb474fff89b4.tar.gz
rust-c9102ee7a1e9c01e9befca44a0c0cb474fff89b4.zip
make type_kind exhaustive, add an entry for type_self (in particular)
-rw-r--r--src/rustc/middle/ty.rs4
1 files changed, 3 insertions, 1 deletions
diff --git a/src/rustc/middle/ty.rs b/src/rustc/middle/ty.rs
index a2796c94244..6ef1e2722a4 100644
--- a/src/rustc/middle/ty.rs
+++ b/src/rustc/middle/ty.rs
@@ -985,7 +985,9 @@ fn type_kind(cx: ctxt, ty: t) -> kind {
           param_bounds_to_kind(cx.ty_param_bounds.get(did.node))
       }
       ty_constr(t, _) { type_kind(cx, t) }
-      _ { cx.sess.bug("bad type in type_kind"); }
+      ty_class(_, _) { fail "FIXME"; }
+      ty_var(_) { fail "FIXME"; }
+      ty_self(_) { kind_noncopyable }
     };
 
     cx.kind_cache.insert(ty, result);