derivation-ok-restriction.5.3.2: Error for type 'aa....aa'. The content type of this type is empty, but the content type of the base, 'bb....bb', is not empty or emptiable.

This is an error for the type aa....aa. The content type of this type is empty, but the content type bb....bb of the base is not empty.