This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 112e. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.
12.3 [over.over] paragraph 1 contains a supposedly exhaustive list of contexts in which the name of an overloaded function can be used without an argument list ("...shall not be used without arguments in contexts other than those listed"). However, 13.4.3 [temp.arg.nontype] paragraph 5, bullet 4 gives another context: as a template nontype argument.
Suggested resolution: Add the missing case to 12.3 [over.over].
Proposed resolution (10/00):
Add as the final bullet in 12.3 [over.over] paragraph 1:
- a non-type template-parameter (13.4.3 [temp.arg.nontype]).
and adjust the "or" and final period on the preceding two bullets.