This is already prevented by the type-system, and as such it doesn't make sense to have an error case for this.