derivation-ok-restriction.4.1: Error for type 'aa....aa'. The derivation has an attribute wildcard, but the base does not have one.

This is an error for the type aa....aa. The derivation has an attribute wildcard, but the base does not have one.