Re: L3 Core: Followup on TypeInfo.isDerivedFrom tests

One more tweak:

If

<complexType name="b">
       <extension base="a"/>
</complexType>

b.isDerivedFrom(otherType, METHOD_RESTRICTION) =
-     otherType == xsd:anySimpleType || otherType == xsd:anyType
+     otherType == xsd:anyType

b.isDerivedFrom(otherType, METHOD_UNION) =
       false

b.isDerivedFrom(otherType, METHOD_EXTENSION) =
-      otherType == a || a.isDerivedFrom(otherType, METHOD_EXTENSION)
+      otherType == a || a.isDerivedFrom(otherType, METHOD_EXTENSION) ||
+          a.isDerivedFrom(otherType, METHOD_RESTRICTION)


b.isDerivedFrom(otherType, METHOD_LIST)
       false