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