<div dir="ltr">Hi Slava,<div><br></div><div>Thanks for your quick response!</div><div><br></div><div>I see. That&#39;s in line with what I can read from the Type Constraint Syntax section in the official Swift book.</div><div><br></div><div><div>Satoshi</div><div><br></div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, May 2, 2017 at 1:59 AM, Slava Pestov <span dir="ltr">&lt;<a href="mailto:spestov@apple.com" target="_blank">spestov@apple.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Satoshi,<br>
<br>
Protocols do not conform to themselves. Only concrete types can conform to protocols in the current implementation of Swift.<br>
<br>
Slava<br>
<div><div class="h5"><br>
&gt; On May 2, 2017, at 1:57 AM, Satoshi Nakagawa via swift-users &lt;<a href="mailto:swift-users@swift.org">swift-users@swift.org</a>&gt; wrote:<br>
&gt;<br>
&gt; Hi,<br>
&gt;<br>
&gt; I got a build error &quot;Generic parameter &#39;T&#39; could not be inferred&quot; for the following code.<br>
&gt;<br>
&gt; Can anyone explain why we can&#39;t use a protocol to infer the generic type T?<br>
&gt;<br>
&gt; class Emitter {<br>
&gt;     func emit&lt;T: Emittable&gt;() -&gt; T {<br>
&gt;         ...<br>
&gt;     }<br>
&gt; }<br>
&gt;<br>
&gt; protocol Emittable {}<br>
&gt; protocol Subemittable: Emitable {}<br>
&gt;<br>
&gt; class ConcreteEmittable: Subemittable {}<br>
&gt;<br>
&gt; func testCode() {<br>
&gt;     let emitter = Emitter()<br>
&gt;<br>
&gt;     // Error: Generic parameter &#39;T&#39; could not be inferred<br>
&gt;     let _: Emittable = emitter.emit()<br>
&gt;<br>
&gt;     // Error: Generic parameter &#39;T&#39; could not be inferred<br>
&gt;     let _: Subemittable = emitter.emit()<br>
&gt;<br>
&gt;     // This works<br>
&gt;     let _: ConcreteEmittable = emitter.emit()<br>
&gt; }<br>
&gt;<br>
&gt; Thanks,<br>
&gt; Satoshi<br>
&gt;<br>
</div></div>&gt; ______________________________<wbr>_________________<br>
&gt; swift-users mailing list<br>
&gt; <a href="mailto:swift-users@swift.org">swift-users@swift.org</a><br>
&gt; <a href="https://lists.swift.org/mailman/listinfo/swift-users" rel="noreferrer" target="_blank">https://lists.swift.org/<wbr>mailman/listinfo/swift-users</a><br>
<br>
</blockquote></div><br></div>