[Issue 4136] @disable semantics

[d-bugmail at puremagic.com]

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


bearophile_hugs at eml.cc changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |INVALID


--- Comment #2 from bearophile_hugs at eml.cc 2013-06-18 05:07:29 PDT ---
(In reply to comment #1)

> @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.

Three years later I understand @disable better, and indeed this is invalid.
Hopefully other D programmers will not make the same mistake of mine.

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