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.
[Voted into the WP at the November, 2010 meeting.]
The Standard should, but does not currently, say that typeid is value-dependent if its expression or type is type-dependent.
Proposed resolution (September, 2010):
Change 18.104.22.168 [temp.dep.constexpr] paragraph 2 as follows:
...Expressions of the following form are value-dependent if the unary-expression or expression is type-dependent or the type-id is dependent:
sizeof ( type-id )
alignof ( type-id )
noexcept ( expression )