diff --git a/src/comp/middle/ty.rs b/src/comp/middle/ty.rs index 6be7274fa2f0..7f80a439d84a 100644 --- a/src/comp/middle/ty.rs +++ b/src/comp/middle/ty.rs @@ -1019,6 +1019,10 @@ fn type_kind(cx: ctxt, ty: t) -> ast::kind { ty_box(mt) { result = ast::kind_shared; } + ty_uniq(mt) { + // FIXME (409): Calculate kind + result = ast::kind_unique; + } // Pointers and unique boxes / vecs raise pinned to shared, // otherwise pass through their pointee kind. ty_ptr(tm) | ty_vec(tm) { diff --git a/src/test/run-pass/unique-assign.rs b/src/test/run-pass/unique-assign.rs new file mode 100644 index 000000000000..01a057573c8e --- /dev/null +++ b/src/test/run-pass/unique-assign.rs @@ -0,0 +1,5 @@ +fn main() { + let i; + i = ~1; + assert *i == 1; +} \ No newline at end of file