From 8120a59097ce81e98fed6c670e5da03cc3b9c78f Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Wed, 30 Jun 2010 00:56:44 -0700
Subject: [PATCH] Init the exterior ty, not the inner ty.

---
 src/boot/me/trans.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml
index e33e3ed4f11..38088e94cb6 100644
--- a/src/boot/me/trans.ml
+++ b/src/boot/me/trans.ml
@@ -2818,7 +2818,7 @@ let trans_visitor
       | Ast.TY_constrained (ty, _) ->
           deref_ty initializing cell ty
 
-      | Ast.TY_exterior ty ->
+      | Ast.TY_exterior ty' ->
           check_exterior_rty cell;
           if initializing
           then init_exterior cell ty;
@@ -2828,7 +2828,7 @@ let trans_visitor
               (Abi.exterior_rc_slot_field_body)
           in
             (* Init recursively so @@@@T chain works. *)
-            deref_ty initializing cell ty
+            deref_ty initializing cell ty'
 
       | _ -> (cell, ty)