> There is a fundamental tradeoff between cost-free upcasts and efficient layout, but languages could offer both options and many in between.
Not sure what the relationship to my comment is there, this tradeoff exists in nominative land, it’s got nothing to do with structural typing.
