# Opaque result types

**URL:** <https://forums.swift.org/t/opaque-result-types/15645>\
**Category:** Pitches\
**Created:** [August 29, 2018, 9:49pm UTC](https://forums.swift.org/t/opaque-result-types/15645 "2018-08-29T21:49:17Z")\
**Posts on this page:** 1\
**Showing post:** 252

<div class="post-metadata">

**Author:** ![anandabits](https://sea2.discourse-cdn.com/swift/user_avatar/forums.swift.org/anandabits/32/355_2.png) [@anandabits](https://forums.swift.org/u/anandabits)\
**Post date:** [January 27, 2019, 4:14pm UTC](https://forums.swift.org/t/opaque-result-types/15645/252 "2019-01-27T16:14:28Z")

</div>

> [@Lantua](#):
>
> So the question is, should it be conveyed to the programmer that the opaque value has value/reference semantic?

There is nothing about opaque result types that make them unique in this respect from any other generic or existential context where the concrete type is unknown. Right now, `AnyObject` can be used to consorting to reference semantics. Perhaps in the future we will be able to use `AnyValue` to constrain to value semantics (see [Strict Value Semantics](https://forums.swift.org/t/strict-value-semantics/19677)).

---

_[View the full topic](https://forums.swift.org/t/opaque-result-types/15645)._