The specification describes no specific error condition or error code for use when xsl:copy or xsl:copy-of are used to copy an attribute node when the instruction has a type attribute whose value refers to a complex type. I propose to add to 

19.2.1.2 Validation using the [xsl:]type Attribute

after the description of XTSE1530, the new error condition:

[ERR XTTE1535] It is a type error if the value of the type attribute of an xsl:copy or xsl:copy-of instruction refers to a complex type definition and one or more of the nodes being copied is an attribute node.

I am also creating tests schema90471-err and schema90472-err to test for this condition.