" cannot be substituted for element with final='#all'",
XmlErrorContext.CANNOT_DERIVE_FINAL, parseTree);
}
else if (! headType.equals(tailType))
{
if (head.finalExtension() &&
tailType.getDerivationType() == SchemaType.DT_EXTENSION)
{
state.error("Element " + QNameHelper.pretty(elt.getName()) +
" cannot be substituted for element with final='extension'",
XmlErrorContext.CANNOT_DERIVE_FINAL, parseTree);