Saxon

It seems that when a complex type has no @block attribute, we (correctly) look at the @blockDefault on the containing xs:schema, and then (incorrectly) use the value to set the final property rather than the block (aka {prohibited substitutions} property.

The reason that the tests for blockDefault appear to work is that it applies both to element declarations and to types, and in all the relevant test cases, the relevant element declaration is in the same schema document as the type declaration, and substitution is effectively blocked by the element declaration.