[Issue 4136] @disable semantics

[d-bugmail at puremagic.com]

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


Michal Minich <michal.minich at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |michal.minich at gmail.com


--- Comment #1 from Michal Minich <michal.minich at gmail.com> 2013-06-18 04:20:48 PDT ---
(In reply to comment #0)
> I don't understand well the design of @disable, but to be useful and more
> meaningful isn't it necessary/better to enforce it (at run-time) on the dynamic
> type of an object?

@disable is exactly for static enforcement, so it can work on statically know
type of variable (not dynamic instance type). Dynamic enforcement is available
via "override void foo() { assert(false) };". So I think this bug is invalid.

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