properties of super classes would be a detail of i...
# language-proposals
k
properties of super classes would be a detail of implementation that I can't see looking on the contract of my class