<< §1.2.2.(d) Implicit type anchors | ↑ Table of Contents ↑ | §1.2.2.(f) Substitutions for type anchors >> |
§1.2.2.(e) Conformance
Conformance between
two types RoleX<@teamA>
and RoleY<@teamB>
not only requires the role types to be compatible, but also
the team instances to be provably the same object.
The compiler must be able to statically analyze anchor identity.
<< §1.2.2.(d) Implicit type anchors | ↑ Table of Contents ↑ | §1.2.2.(f) Substitutions for type anchors >> |