Marc Schütz:
I agree that `ref` isn't something that should ever be inferred, because it affects the semantics of the function. Either the function requires `ref` semantics, or not. It doesn't depend on how it is called.
(Perhaps this was already said) I think Ada used to have something like "auto ref" and later it was removed from the language.
Bye, bearophile
