Opaque result types cannot be used in the requirements of a protocol: