[Pitch] Opaque parameter types

[Douglas_Gregor]

@ensan-hcl

The first is that opaque parameter types can only be used in parameters of a function, initializer, or subscript declaration, and not in (e.g.) a typealias or any value of function type

I have one more question; is the next code possible? It's a parameter of function and also value of function type. Which restriction has priority?

func foo(closure: (some Any) -> ())
// equal to
func foo<T>(closure: (T) -> ())

Yes, that's allowed. I'll see if I can word things more clearly in the proposal.

Doug