Jari-Matti Mäkelä wrote: > Types of "new Foo" and "new Bar" can be [Foo, Object, A, B]. (ok, maybe > also void*) Heh, I optimized away something. Type of "new Bar" is more likely a subset of these [Bar, Object, A, B]. :)