[Bug 20632] [XP 3.0] Transitivity of subtype relationships

https://www.w3.org/Bugs/Public/show_bug.cgi?id=20632

--- Comment #3 from Jonathan Robie <jonathan.robie@gmail.com> ---
The Working Group decided to change the second of these two rules (the first
two rules in the list under 2.5.6.2 The judgement subtype-itemtype(Ai, Bi)):

<quote>
1. Ai and Bi are AtomicOrUnionTypes, and derives-from(Ai, Bi) returns true.

2. Ai and Bi are both pure union types, and every type t in the transitive
membership of Ai is also in the transitive membership of Bi.
</quote>

The new wording for the second rule is:

2. Ai is a pure union type, and every type t in the transitive membership of Ai
satisfies subtype-itemType(t, Bi)

-- 
You are receiving this mail because:
You are the QA Contact for the bug.