finding errors with templates without instantiating them

[bearophile]

Timothee Cour:

> Currently D will compile templated code that is syntactically 
> correct but
> semantically always incorrect (ie regardless of template 
> parameters), eg
> the following:
> regardless of T, b is not in scope and hence this template 
> cannot be
> instantiated without CT error.
>
> So would it be possible to detect such kind of errors (ie CT 
> error
> regardless of template params) without having to instantiate 
> the template?

There was a discussion about related matters, and there is an 
enhancement request on this in Bugzilla. Andrei was against it, 
but lot of other people, me and perhaps Walter too have 
appreciated the idea.

Bye,
bearophile