---

yaml
---
r: 5443
b: refs/heads/master
c: f6ab12a
h: refs/heads/master
i:
  5441: 82ab2c1
  5439: c01ddda
v: v3

Author: brson

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 5ab084035330f97aaf315d5001a4393793fa017b
+refs/heads/master: f6ab12a3b175f5c4837334a96a602a91c5935c84

trunk/src/comp/middle/ty.rs

@@ -2195,11 +2195,10 @@ mod unify {
             alt struct(cx.tcx, actual) {
               ty::ty_uniq(actual_mt) {
                 let mut = expected_mt.mut;
-                // FIXME (409) Write a test then uncomment
-                /*alt unify_mut(expected_mt.mut, actual_mt.mut) {
+                alt unify_mut(expected_mt.mut, actual_mt.mut) {
                   none. { ret ures_err(terr_box_mutability); }
                   some(m) { mut = m; }
-                }*/
+                }
                 let result = unify_step(cx, expected_mt.ty, actual_mt.ty);
                 alt result {
                   ures_ok(result_mt) {

trunk/src/test/compile-fail/unique-mut.rs

@@ -0,0 +1,4 @@
+//error-pattern:mismatched types
+fn main() {
+    let i: ~int = ~mutable 0;
+}