[Issue 8637] Enforcement and purity

[d-bugmail at puremagic.com]

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



--- Comment #6 from Kenji Hara <k.hara.pg at gmail.com> 2012-09-10 09:15:20 PDT ---
(In reply to comment #5)
> Both the annotation for pure and @safe need to go, because T's destructor and
> opCast could be impure or non- at safe. When the explicit annotations were added,
> clearly the destructor and opCast were not taken into account, since they're
> not called directly and are easily forgotten.

Oh, that's right. We should remove both 'pure' and '@safe', and need to depends
on fully attribute inference.

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