[Issue 6186] Struct destructor is not called on out parameter

[d-bugmail at puremagic.com]

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


Denis Shelomovskij <verylonglogin.reg at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |verylonglogin.reg at gmail.com


--- Comment #6 from Denis Shelomovskij <verylonglogin.reg at gmail.com> 2013-10-03 11:22:56 MSD ---
NG thread: http://forum.dlang.org/thread/l2hnbk$ptm$1@digitalmars.com

As Kenji wrote in the thread:

> If an out parameter typed T exists, and
>  1. T has elaborate destructor
>  2. T.init represents logically invalid object (T is nested struct, and/or
> T has @disable this();)
> Automatic blit initializing for the out parameter would be unsafe.

> So semantic analysis would reject such a out parameter declaration.

Also `out` parameters recently become rejected for `@disable this()` structs.

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