diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/boot/me/trans.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/boot/me/trans.ml b/src/boot/me/trans.ml index e33e3ed4..38088e94 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) |