http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53116
--- Comment #4 from Filippov Aleksey <lex4051 at gmail dot com> 2012-04-25 16:09:07 UTC --- I haven't noticed that this behavior is related to lazy instantiation. But sometimes if template code does not depend on template argument, it can be checked. If it is not such case, it probably is not a bug.