`some View` for dictionary values

[bcardarella (Brian Cardarella)]

I would very much like to have dictionaries like:

[String:some View]

The allowances around some View feel incomplete at the moment.

[Jumhyn (Frederick Kellison-Linn)]

Structural opaque result types

EDIT [8/13/21]: Added sections 'Detailed Design - Constraint Inference' and 'Alternatives Considered - Constraint Inference'. EDIT [8/13/21]: Clarified language in 'Detailed Design - Higher Order Functions' and 'Alternatives Considered - Higher Order Functions' thanks to some comments by @ensan-hcl. Introduction An opaque result type may be used as the result type of a function, the type of a variable, or the result type of a subscript. In all cases, the opaque result type must be the entire …

[bcardarella (Brian Cardarella)]

Whoa, that is much better ask than mine. Thanks!

[jayton (Jens Ayton)]

To be clear, do you actually want a dictionary whose values are all the same (unknown) type of view? This seems like a pretty rare use case to me.

And by “have”, do you mean as return types, or as variables?