[Issue 14677] cast correctness not checked inside is(typeof())

via Digitalmars-d-bugs digitalmars-d-bugs at puremagic.com
Wed Jun 10 22:22:59 PDT 2015


https://issues.dlang.org/show_bug.cgi?id=14677

Kenji Hara <k.hara.pg at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|DUPLICATE                   |FIXED

--- Comment #5 from Kenji Hara <k.hara.pg at gmail.com> ---
(In reply to Dicebot from comment #2)
> My report is about checking cast
> correctness at e2ir stage which makes illegal casts accepted inside
> is(typeof())

Very recently, full detection of invalid casts was added into front end (if I
don't mistake somethingn) by the PR:

https://github.com/D-Programming-Language/dmd/pull/4691

So now, they can be tested by using is(typeof()) idiom.

--


More information about the Digitalmars-d-bugs mailing list