Bug 14677 – cast correctness not checked inside is(typeof())

``` void main() { void* x; // Error: e2ir: cannot cast x of type void* to type int[30] auto y = cast (int[30]) x; // But this passes static assert (is(typeof({ auto y = cast(int[30])x; }))); } ``` Looks like correctness of cast is checked after normal semantic phase and thus ignored by `is(typeof())`

*** This issue has been marked as a duplicate of issue 14596 ***

Vladimir, sorry, but this doesn't look like duplicate to me. Your linked issue was about rejecting legitimate cast. My report is about checking cast correctness at e2ir stage which makes illegal casts accepted inside is(typeof())

Well, this bug is fixed in HEAD, and the pull request which fixed your bug was trying to fix issue 14596. Both are fixed by the check added in DMDFE.

If you wish, you can reopen with the intent of someone making a pull request which explicitly adds your test case to the DMD test suite.

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

got it, thanks