Opaque result types

[anandabits (Matthew Johnson)]

@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).