> > The implementation also suffers from the fact that, since a warning > > does not abort the compilation, a warning in a functor body is > > replicated at each functor instantiation (with no distinguishing > > feature of the warning message). > > This is no different than match warnings, so it seems OK (or at least > consistent). Agreed.