| << §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 >> |
