mixed attribute on complexType/complexContent

In 3.4.2 teh mapping table for complex content shows:

{content type}	
1 [Definition:]  Let the effective mixed be the appropriate case among the
following:
1.1 If the mixed [attribute] is present on <complexContent>, then its
.actual value.;
1.2 If the mixed [attribute] is present on <complexType>, then its .actual
value.;
1.3 otherwise false.

In 3.4.3, Constraints on XML Representations of Complex Type Definitions,
there doesn't seem to be a rule prohibiting <complexType mixed="true"> with
<complexType mixed="false">, or vice versa.

Does this mean that if the mixed attribute is present on complexContent, the
value of the mixed attribute on complexType is ignored, and no error occurs
if they are inconsistent?

Michael Kay
http://www.saxonica.com/