Domains and distinct types are not allowed to have attributes. They may only alias another type. To specify the aliased type, ...