Do not allow shared object passed by value

[lxfind]

Doing so prevents shared objects being transferred, deleted or wrapped.

[gdanezis]

This takes care of a major headache @asonnino

[ppoliani]

@lxfind may I ask what's the rational behind this decision? I opened an issue describing a use case which doesn't seem to be feasible on Sui due to this (and not being able to turn owned objects into shared) #12271.

Doing so prevents shared objects being transferred, deleted or wrapped.

Why do we need such a strict limitation. Correct me if I'm wrong, but I don't see how this poses an issue.

• You still can't delete objects that don't belong to the same module
• Making a shared object ownable again turns out to be useful. I shared an example in the issue I shared above.
• Wrapping is determined by the store semantics, so that doesn't look like an issue either.