This is relevant to the discussion of borrow
and take
in argument position. I believe the current design leaves the ABI unchanged, and the markers are only used to statically assert ABI expectations from the caller side. But, for the specific reason that motivated this thread, I’ve wondered if it would be a good idea to augment the function ABI so that (some) parameters can be passed in one of many ways.
1 Like