ponylang
Alias an iso without being able to consume/send it.
On today's sync call, @sylvanc started exploring the idea of a system that would allow code to alias an iso into a modified capability that could not be consumed or sent to another actor.
The purpose of this ticket is to explore this idea a bit more, figure out what it would look like, how it could be used, and if it is sound.
@sylvanc - I was thinking about this a bit more, and isn't it a problem that someone could hold onto the "unconsumable iso alias", while the original iso gets sent to another actor? Wouldn't we have to track the lifetime of the "unconsumable iso alias" to know when it was safe for the original iso to become sendable again?
I'm not active around Pony but for time to time I still look at it, and this ticket make me think of the things I have looked into https://github.com/ponylang/rfcs/pull/15 I have abandoned it because there are to much cases for me to think about and to reason about. So just consider it as food for thought.
