> Well, as far as I understand, trivial constructors might not be called at all.

Maybe "might not be called" is part of the bug then. Isn't the right model that trivial ctors are called, but "might do nothing"?

Herb