[swift-evolution] [Proposal] More Powerful Constraints for Associated Types

[Dmitri Gribenko]

On Mon, Apr 25, 2016 at 8:28 PM, Douglas Gregor via swift-evolution
<swift-evolution at swift.org> wrote:
> Did you consider an alternate syntax that puts the where clause outside the
> braces, e.g.,
>
> protocol R : Q where AssocType : P {
>   // …
> }

To me this reads like declaring a conditional conformance.

Dmitri

-- 
main(i,j){for(i=2;;i++){for(j=2;j<i;j++){if(!(i%j)){j=0;break;}}if
(j){printf("%d\n",i);}}} /*Dmitri Gribenko <gribozavr at gmail.com>*/