[Issue 1511] static assert doesn't fail as expected

[d-bugmail at puremagic.com]

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





------- Comment #5 from braddr at puremagic.com  2007-09-18 00:32 -------
Hrm.. this one might need some language lawyering to get an official answer. 
In my original assessment, I mentally substituted array concatenation when I
saw the '+' but that was wrong.

Without the static assert part, which is largely if not completely irrelevant:

    typeof("a" + "b") ==> illegal
    is(typeof("a" + "b")) ==> 1

So, the question is, should is() actually return true for an illegal typeof()? 
I suspect a missing layer of semantic analysis, but I'm not sure.


--