> I can think of several cases where it might be reasonable for the types> to be different.
Sure. It's all about a warning, not about an error.
-- Fabien Coelho - coelho(at)cri(dot)ensmp(dot)fr