is expression

[Clemens]

Andrei Alexandrescu Wrote:

> On 06/24/2010 10:01 AM, Ellery Newcomer wrote:
> > Hey,
> >
> > in std.container, line 2623, I'm seeing
> >
> > static if (is(_store.insertBack(value)))
> >
> > The spec doesn't mention allowing expressions as far as I can remember,
> > so what's the deal? Yes, the argument is ambiguous with type at parse
> > time, but it has to get converted to an expression at some point. Is
> > allowing expressions in is expression a definite keeper?
> 
> My mistake, a typeof should wrap the expression.

...and this is exactly why we need meta.compiles(...) or something equivalent. That proposal had such an overwhelming backing by the community; what happened to it? There never was an official comment on it AFAIR. Such an addition should be fine even with TDPL out since it doesn't break anything, shouldn't it?