This is not the only question. Even if it's rare to want a particular behaviour, it may be preferable because it's more consistent, easier to reason about, and/or fits in better with the type system (thinking carefully about what happens in generic code, etc). I don't know what I think in this particular case, though.
3 Likes