Any Keyword for static variable

[ksluder (Kyle Sluder)]

@gwendal.roue

On the other way, the proposal was perfectly clear for meta types, so it helped me solving the any P.Type vs (any P).Type puzzle.

We just need explicit help for optionals.

If it’s easier to spell a metatype existential than an optional existential, I think the design has optimized for the wrong use case.

@ksluder

I think this is a very strong indication that any T is not the best spelling for this feature. Any<T> has the built-in benefit of grouping via angle brackets. It is immediately clear that and how Any<T.Type> is distinct from Any<T>.Type . Even if you don’t understand the nuances of metatypes, you can understand that one syntax names a type that wraps a Type object, while the other names a Type object that wraps an Any . If you encounter an error “ Any<> cannot be applied to Type objects”, you immediately know you how to fix it: move the .Type outside the angle brackets.

I’m tempted to define my own struct Any<T> and play around with the ergonomics.