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
