Now that I think about it, I realize I was thinking of a different kind of behavior–I’m not sure how the Self-type cases would deal with a contract implementation since contracts are not inherited and would still require some way of referencing a self-type.
1 Like