Reference counting with fat pointers

[Kagamin via Digitalmars-d]

On Saturday, 26 July 2014 at 10:49:25 UTC, Marc Schütz wrote:
> There are some corner cases here. For example when an r-value 
> is moved into a function as an argument. The callee will not 
> decrement the RC of its parameters, with the consequence that 
> the RC never goes to 0. There might be other problems, in 
> particular in the presence of optimizations.

How about this: an r-value is moved to caller's stack, then 
passed to the callee? This way the callee still won't have to 
maintain the counter. And this probably prohibits tail call 
optimization.