XSV crash on renaming a complexType using extension with base xsd:anyType

Hi,

It is to my understanding that renaming using anyType is allowed. 

I tried it with online XSV, and it crashed.

I just want to confirm with some other who have tried the following,
that these are valid in XSD.

Thanks ahead for any comments,

-Aung

 

<xs:schema xmlns:xs="http://www.w3.org/2001/XMLSchema" > 

<xs:complexType name="ct1">

<xs:complexContent>

<xs:extension base="xs:anyType" />

</xs:complexContent>

</xs:complexType>

 

<xs:complexType name="ct2">

<xs:complexContent>

<xs:restriction base="xs:anyType" />

</xs:complexContent>

</xs:complexType>

</xs:schema>