<< §1.3.1.(c) Overriding and implicit inheritance | ↑ Table of Contents ↑ | §1.3.1.(e) Dynamic binding of types >> |
§1.3.1.(d) Lack of subtyping
Direct acquisition of roles from a super-team and implicit inheritance
do not establish a subtype relation.
A role of a given team is never conform (i.e., substitutable)
to any role of any other team.
S.R
and T.R
are always incommensurable.
Note, that this rule is a direct consequence of §1.2.2.(e).
<< §1.3.1.(c) Overriding and implicit inheritance | ↑ Table of Contents ↑ | §1.3.1.(e) Dynamic binding of types >> |