"opaque types do not have default constructors"
*Cause: Constructor invocation did not succeed, since no user-defined
constructors were defined for the opaque type, and since opaque
types do not have default constructors.
*Action: Add user-defined constructors to opaque type, or specify a
member or static method for the opaque type.