Protocol<.AssocType == T> shorthand for combined protocol and associated type constraints without naming the constrained type

[Moximillian (Mox)]

Jumping threads here, but this feels like more appropriate place.

@Moximillian

As @Chris_Lattner3 said anonymous syntax is it’s own design space. For me the full potential of that would be to have a wide reaching shorthand that covers wide variety of types: anonymous structs, anonymous protocols (existentials?), anonymous generics, anonymous typealiases, anonymous associated types and so on (don’t know which ones make sense).
To design that space well, would mean that it’s applied to lot of those types from the start, not just as a byproduct of opaque type feature.

So the new syntax discussed here feels to me like it should be thought as part of overall discussion to design anonymous types.

Some types probably are not applicable, but for example thinking about anonymous structs, those are tuples, in a way. So to add functionality you might do

extension (Int, Int) { func foo() -> Int { return .0 + .1 }}

All these of course need to be weighted against the benefits versus added complexity / compiler slowdown...