[Pitch] Introduce existential `any`

Evolution Pitches
165

Hey folks, I've updated the proposal based on all of the feedback here. The latest proposal contains the following revisions that we've discussed in this thread (along with justification in the detailed design section):

  • Spell the existential metatype as any P.Type , and the protocol metatype as (any P).Type.
  • Preserve any through type aliases.
  • Allow any on Any and AnyObject.

I've also addressed the common Any<P> suggestion in the alternatives considered section.

Thanks all for the insightful discussion so far!

20 Likes