Re: [boost] [contract] concepts: pseudo-signatures vs. usage patterns

You're missing the point. I claim the associated "argument type" of Predicate is char. The value type of the sequence (int) is convertible to the associated argument type. That's all that's required according to the text.

Sorry... you're right. If the requirement is that the value type is convertible to the argument type, then yes. Fortunately that's not what we required in n3351.