cos-particle-restrict.a: Derived particle is empty, and base is not emptiable.

The derived particle is empty. The base is not empty.