> but your own types may just explode or fail silently. I mean, that's the point of them being "your own types". If you couldn't do anything that you want, inc

> but your own types may just explode or fail silently. I mean, that's the point of them being "your own types". If you couldn't do anything that you want, including putting `assert(1 == 2)` in any method of your own type in C++... then people would be quick to design a Cwhatever language where you can, because it's a useful subspace of the design space of programming languages