Init the exterior ty, not the inner ty.
This commit is contained in:
parent
6ee16b588d
commit
8120a59097
|
@ -2818,7 +2818,7 @@ let trans_visitor
|
||||||
| Ast.TY_constrained (ty, _) ->
|
| Ast.TY_constrained (ty, _) ->
|
||||||
deref_ty initializing cell ty
|
deref_ty initializing cell ty
|
||||||
|
|
||||||
| Ast.TY_exterior ty ->
|
| Ast.TY_exterior ty' ->
|
||||||
check_exterior_rty cell;
|
check_exterior_rty cell;
|
||||||
if initializing
|
if initializing
|
||||||
then init_exterior cell ty;
|
then init_exterior cell ty;
|
||||||
|
@ -2828,7 +2828,7 @@ let trans_visitor
|
||||||
(Abi.exterior_rc_slot_field_body)
|
(Abi.exterior_rc_slot_field_body)
|
||||||
in
|
in
|
||||||
(* Init recursively so @@@@T chain works. *)
|
(* Init recursively so @@@@T chain works. *)
|
||||||
deref_ty initializing cell ty
|
deref_ty initializing cell ty'
|
||||||
|
|
||||||
| _ -> (cell, ty)
|
| _ -> (cell, ty)
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue