---

yaml
---
r: 991
b: refs/heads/master
c: b79de6b
h: refs/heads/master
i:
  989: 2375135
  987: ef739f1
  983: 11ca011
  975: 1d4c498
  959: 0db4a83
v: v3

Author: graydon

[refs]

@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 376b35e6186d68e431b32b6632bf52f5433ab4d7
+refs/heads/master: b79de6b76cbdcb8f2a8e44433d262c3389f28058

trunk/src/comp/middle/typeck.rs

@@ -1223,7 +1223,23 @@ fn check_expr(&fn_ctxt fcx, @ast.expr expr) -> @ast.expr {
         case (ast.expr_unary(?unop, ?oper, _)) {
             auto oper_1 = check_expr(fcx, oper);
             auto oper_t = expr_ty(oper_1);
-            // FIXME: Unops have a bit more subtlety than this.
+            alt (unop) {
+                case (ast.box) { oper_t = plain_ty(ty_box(oper_t)); }
+                case (ast.deref) {
+                    alt (oper_t.struct) {
+                        case (ty_box(?inner_t)) {
+                            oper_t = inner_t;
+                        }
+                        case (_) {
+                            fcx.ccx.sess.span_err
+                                (expr.span,
+                                 "dereferencing non-box type: "
+                                 + ty_to_str(oper_t));
+                        }
+                    }
+                }
+                case (_) { /* fall through */ }
+            }
             ret @fold.respan[ast.expr_](expr.span,
                                         ast.expr_unary(unop, oper_1,
                                                        ast.ann_type(oper_t)));