------- Comment #1 from ludovic at ludovic-brenta dot org 2009-12-17 19:47 ------- RM 8.6(27)/2 is also relevant: When a construct is one that requires that its expected type be a single type in a given class, the type of the construct shall be determinable solely from the context in which the construct appears, excluding the construct itself, but using the requirement that it be in the given class. Furthermore, the context shall not be one that expects any type in some class that contains types of the given class; in particular, the construct shall not be the operand of a type_conversion.
-- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=42411
