<div dir="ltr">vv<br></div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Dec 24, 2017 at 11:36 PM, Howard Lovatt <span dir="ltr"><<a href="mailto:howard.lovatt@gmail.com" target="_blank">howard.lovatt@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">I would say yes they are different for the example. Definitely something I miss is nesting types to given a seperate namespace.<br>
<span class="HOEnZb"><font color="#888888"><br>
-- Howard.<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
> On 24 Dec 2017, at 9:56 pm, Slava Pestov via swift-evolution <<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>> wrote:<br>
><br>
> There was a proposal to allow protocols to be nested inside types at one point but it didn’t move forward.<br>
><br>
> Basically, if the outer type is a non-generic class, struct or enum, there’s no conceptual difficulty at all.<br>
><br>
> If the outer type is a generic type or another protocol, you have a problem where the inner protocol can reference generic parameters or associated types of the outer type. This would either have to be banned, or we would need to come up with coherent semantics for it:<br>
><br>
> struct Generic<T> {<br>
> protocol P {<br>
> func f() -> T<br>
> }<br>
> }<br>
><br>
> struct Conforms : Generic<Int>.P {<br>
> func f() -> Int { … } // Like this?<br>
> }<br>
><br>
> let c = Conforms()<br>
> c is Generic<String>.P // is this false? Ie, are Generic<Int>.P and Generic<String>.P different protocols?<br>
><br>
> Slava<br>
><br>
>> On Dec 24, 2017, at 6:53 PM, Kelvin Ma via swift-evolution <<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>> wrote:<br>
>><br>
>> is there a reason why it’s not allowed to nest a protocol declaration inside another type?<br>
>> ______________________________<wbr>_________________<br>
>> swift-evolution mailing list<br>
>> <a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a><br>
>> <a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" target="_blank">https://lists.swift.org/<wbr>mailman/listinfo/swift-<wbr>evolution</a><br>
><br>
> ______________________________<wbr>_________________<br>
> swift-evolution mailing list<br>
> <a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a><br>
> <a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" target="_blank">https://lists.swift.org/<wbr>mailman/listinfo/swift-<wbr>evolution</a><br>
</div></div></blockquote></div><br></div>