From 2120599387a31577152646ac1ee609d5e1c02604 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Thu, 1 Jul 2010 18:03:37 -0700
Subject: [PATCH] Establish the box constraint on the dst in STMT_init_box
 before propagating it to the rval.

---
 src/boot/me/type.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/boot/me/type.ml b/src/boot/me/type.ml
index 371572facf2..fff6f013b66 100644
--- a/src/boot/me/type.ml
+++ b/src/boot/me/type.ml
@@ -1274,8 +1274,8 @@ let process_crate (cx:ctxt) (crate:Ast.crate) : unit =
 
         | Ast.STMT_init_box (dst, v) ->
             let tv = any() in
+              unify_lval init_ctx dst (ref (TYSPEC_box tv));
               unify_atom rval_ctx v tv;
-              unify_lval { init_ctx with box_ok = true } dst tv
 
         (* FIXME (issue #52): Finish these. *)
         (* Fake-typecheck a few comm-related statements for now, just enough