On 3/19/2019 12:13 AM, Paolo Invernizzi wrote: > Would it help, not to ignore it, but raise a. compilation error, in this case? Then generic code would have to be special cased (by the user) for it.