[Issue 3416] Non-compilable template instantiation in is(typeof()) fails compilation

[d-bugmail at puremagic.com]

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



--- Comment #6 from Max Samukha <samukha at voliacable.com> 2009-10-19 06:24:50 PDT ---
Ok, but there is no other way to determine if some syntactically correct code
is also correct semantically. And without that, D's metaprogramming system is
of little use.

Anyway, I'm not sure whether semantically incorrect code should produce a valid
type, which void is. Should it?

And the current compiler seems to treat __traits(compiles, X) and is(typeof(X))
identically...

I think this bug should remain open until is(typeof(X)) is fixed or a
different/better mechanism is introduced. And it is definitely a blocker.

Thanks

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