derivation-ok-restriction.2.2.a: Error for type 'aa....aa'. The attribute use 'bb....bb' in this type does not have a matching attribute use in the base, and the base type does not have a wildcard attribute.

This is an error for type aa....aa. The attribute usage bb....bb in this type does not have a matching attribute usage in the base. The base type does not have a wildcard attribute.