From: jsiek_at_[hidden]
Date: 2000-01-12 15:47:38


Perhaps the conditional member access requirement, with an
algorithm-centric wording would be the best:

When Collection is specified as the requirement for an argument, if
the function also specifies requirements that use members of the value
type, then the Collection may not have a Proxy reference type.

Cheers,

Jeremy