The Saxon schema processor reports no error if an attribute in a base type has use="prohibited", and the corresponding attribute in a type derived by restriction has use="required" or use="allowed".