[Issue 10404] Class!T should be the class version of type T

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=10404



--- Comment #5 from Andrei Alexandrescu <andrei at erdani.com> 2013-06-20 04:52:34 PDT ---
(In reply to comment #4)
> (In reply to comment #3)
> > Update: if a method returns an S by value, the Class!S corresponding wrapper
> > should return a new instance of Class!S with S as payload.
> 
> I think we're fucked in a lot more cases than just that actually:
> - What about functions that take an S by value as an argument? DO we change it
> to Class!S, and duplicate the class on receive (pass by value) ?
> - Or functions that take an S by ref?
> - Or return S by Ref (return this)?

It's all about reasoning through the cases. We may conservatively not generate
wrappers for such functions, or generate them with a specific semantics.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------