• Kagamin <spam here.lot> Dec 16 2009

Kagamin <spam here.lot> writes:

Andrei Alexandrescu Wrote:

 although it doesn't solve 100% of the potential cases


like what?

 My main concern is allowing shared to participate to the inout 
 transportation. I am tempted to allow it, but shared is constrained much 
 more severely than the other two.


Transportation of shared can be done only by duplication of function into
shared and unshared variants, after which inout can be checked only for
const-correctness, sharedness being processed by existing type checking code.
If you want this typesaver...