From 67bac873e0652eeae4cf8d258f029207e2bab6af Mon Sep 17 00:00:00 2001 From: Brian Anderson Date: Thu, 22 Sep 2011 13:36:37 -0700 Subject: [PATCH] Add assignment to unique box locals Issue #409 --- src/comp/middle/ty.rs | 4 ++++ src/test/run-pass/unique-assign.rs | 5 +++++ 2 files changed, 9 insertions(+) create mode 100644 src/test/run-pass/unique-assign.rs 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