Open tjhu opened 4 years ago
We needed a clone method for Create but somehow it got implemented by wrapping Arcs around Creates. Arcs are not RRefable so they should not cross domain boundaries. Instead, the Arc should be placed side of Create
Create
Arc
https://github.com/mars-research/redleaf/blob/94c06d470c8064eb1d30450c30fe5a567c6919a9/domains/usr/proxy/src/gen.rs#L93
We needed a clone method for
Createbut somehow it got implemented by wrappingArcs aroundCreates.Arcs are not RRefable so they should not cross domain boundaries. Instead, theArcshould be placed side ofCreatehttps://github.com/mars-research/redleaf/blob/94c06d470c8064eb1d30450c30fe5a567c6919a9/domains/usr/proxy/src/gen.rs#L93