D-Programming-Language/dmd — pull request #771 by donc (2012-02-27 20:14:07+00:00)
Title: 7589 __traits(compiles) does not work with a template that fails to compile

A very recent regression.
Root cause: up to now, templates instantiated in __traits(compiles) haven't been marked as speculative.
We need to get this from the scope. This commit adds a new 'speculative' member to Scope, to stop conflating typeof() with speculation.

[Incompletely tested - do not push this until autotester has completed running]