Re: [Boost-users] C++ guru required!

On 19 Feb 2012, at 23:28, Nathan Ridge wrote:

I'm not sure whether compilers are required by the standard to type-check branches known not to be taken at compile time, but in practice I think they do because type-checking is done at an earlier stage of compilation than optimizations like constant propagation.

Compilers are required to type-check such branches, and all compilers (well, everyone one I've ever used) does. Chris