Closed
Description
Because a &T
type is copyable, it is currently possible to close over them using an fn@()
(and, eventually, iface@
). This is clearly wrong. We need a new kind---perhaps heap
or gc
?---indicating data which is not only copyable but also copyable into a shared closure. This goes in between copy/send, I think.