Paolo Carlini wrote: > I'm working on this interesting issue, and I'm under the impression > that, overall, we cannot have an optimal result - in terms of strictness > of the testing while not breaking conforming code (probably concepts > would be, in some areas). would be... useful, I meant of course. Paolo.