Constant OPAQUE_CONSTRUCTION 

pub const OPAQUE_CONSTRUCTION: &str = "cove::type::opaque_construction";

The synthesized labeled constructor of an export opaque struct is called outside the module that declares it.