[ ReturnsModifiedPointer ]
public MiniObject make_writable ()
Checks if a mini-object is writable.
If not, a writable copy is made and returned. This gives away the reference to the original mini object, and returns a reference to the new object.
the mini-object to make writable
a mini-object (possibly the same pointer) that is writable.