http://gcc.gnu.org/bugzilla/show_bug.cgi?id=10200
Jay Foad <jay.foad at gmail dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |jay.foad at gmail dot com
--- Comment #16 from Jay Foad <jay.foad at gmail dot com> 2011-05-24 09:17:21
UTC ---
> This is almost the same as the case discussed in DR 141.
>
> In particular, we must determine whether "node.foo <" is the start of a
> template, or not. [basic.lookup.classref] says that we look in the class of
> the
> object expression, i.e., X<T>::node. However, that's a dependent type. So,
> we
> don't actually try to lookup there. Thus, we then go on to do lookup in the
> scope of the containing postfix-expression, which finds the global template
> function. DR 141 suggests that we should not do the second lookup. However,
> this DR is still in the "open" state; the committee has taken no action as of
> yet.
DR 141 was resolved in CD1:
http://www.open-std.org/jtc1/sc22/wg21/docs/cwg_defects.html#141
It seems like we should still do the second lookup.
