Steven Schveighoffer wrote: > In order for this to be useful, we need to have a way to express total > relationships between parameters and the return value. And that would > probably be so convoluted that it's not worth the syntax. That would certainly address that problem.