From: "John Maddock" <[EMAIL PROTECTED]> > > I'm beginning to think that the only way to deal with this is to add array > types to the list of types banned from the "To" parameter. Otherwise we get > into the old context sensitive answer problem.
I think that no special ban list is necessary. Given the specification "Returns true if and only if an lvalue of type From is convertible to To (4p3)" the implication is that is_convertible should return false when To is an array type, as typedef int T[2]; T t(e); is not allowed for any e. A similar argument holds for To being abstract or function type. _______________________________________________ Unsubscribe & other changes: http://lists.boost.org/mailman/listinfo.cgi/boost