Teach clone_ty to tolerate cloning a mutable (though not state) type.
This commit is contained in:
parent
a2e4d45600
commit
27d69a88b1
1 changed files with 1 additions and 1 deletions
|
@ -2573,7 +2573,7 @@ let trans_visitor
|
||||||
(ty:Ast.ty)
|
(ty:Ast.ty)
|
||||||
(curr_iso:Ast.ty_iso option)
|
(curr_iso:Ast.ty_iso option)
|
||||||
: unit =
|
: unit =
|
||||||
match ty with
|
match strip_mutable_or_constrained_ty ty with
|
||||||
Ast.TY_chan _ ->
|
Ast.TY_chan _ ->
|
||||||
trans_upcall "upcall_clone_chan" dst
|
trans_upcall "upcall_clone_chan" dst
|
||||||
[| (Il.Cell clone_task); (Il.Cell src) |]
|
[| (Il.Cell clone_task); (Il.Cell src) |]
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue