An inheritance problem

Does this mean that casting to Any disassociate type from its witness record? I thought that it doesn't :thinking:.

It should be, otherwise, what is the point. (Well the answer is pretty obvious :frowning_face:)

should be something like this