<div class="chatlog__message-group">
  <div id="chatlog__message-container-980707117910614026" class="chatlog__message-container" data-message-id="980707117910614026">
    <div class="chatlog__message">
      <div class="chatlog__message-aside"><img class="chatlog__avatar" src="https://cdn.discordapp.com/avatars/189711109966659584/95280765d1be73ce985dce15ea3585f6.png?size=512" alt="Avatar" loading="lazy"></div>
      <div class="chatlog__message-primary">
        <div class="chatlog__header"><span class="chatlog__author" style="color:rgb(237,171,161)" title="omochimetaru" data-user-id="189711109966659584">omochimetaru</span> <a href="/channels/375206337937801216?category=main&amp;channel=swift-zatsu&amp;message_id=980707967768883301"><span class="chatlog__timestamp" title="Monday, May 30, 2022 5:39 AM"></span></a><a href="#chatlog__message-container-980707117910614026">5/30/2022 5:39 AM</a></div>
        <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve">あーだからまあ、Reverse Genericsがシグネチャに乗ってない事自体は問題ないきがしてきた</span></div>
      </div>
    </div>
  </div>
  <div id="chatlog__message-container-980707217462411306" class="chatlog__message-container" data-message-id="980707217462411306">
    <div class="chatlog__message">
      <div class="chatlog__message-aside">
        <div class="chatlog__short-timestamp" title="Monday, May 30, 2022 5:40 AM">5:40 AM</div>
      </div>
      <div class="chatlog__message-primary">
        <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve"><code class="chatlog__markdown-pre chatlog__markdown-pre--inline">-&gt; &lt;T0, T1&gt; (T0, T1)</code> でも <code class="chatlog__markdown-pre chatlog__markdown-pre--inline">-&gt; &lt;T0&gt; (T0, T0)</code> でも</span></div>
      </div>
    </div>
  </div>
  <div id="chatlog__message-container-980707261745868820" class="chatlog__message-container" data-message-id="980707261745868820">
    <div class="chatlog__message">
      <div class="chatlog__message-aside">
        <div class="chatlog__short-timestamp" title="Monday, May 30, 2022 5:40 AM">5:40 AM</div>
      </div>
      <div class="chatlog__message-primary">
        <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve">外から見ると、 <code class="chatlog__markdown-pre chatlog__markdown-pre--inline">-&gt; (some, some)</code> になってて</span></div>
      </div>
    </div>
  </div>
  <div id="chatlog__message-container-980707392348110869" class="chatlog__message-container" data-message-id="980707392348110869">
    <div class="chatlog__message">
      <div class="chatlog__message-aside">
        <div class="chatlog__short-timestamp" title="Monday, May 30, 2022 5:41 AM">5:41 AM</div>
      </div>
      <div class="chatlog__message-primary">
        <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve"><code class="chatlog__markdown-pre chatlog__markdown-pre--inline">ortOf</code> で指定できるindexは 0と1 が対応づいていて</span></div>
      </div>
    </div>
  </div>
  <div id="chatlog__message-container-980707425151774802" class="chatlog__message-container" data-message-id="980707425151774802">
    <div class="chatlog__message">
      <div class="chatlog__message-aside">
        <div class="chatlog__short-timestamp" title="Monday, May 30, 2022 5:41 AM">5:41 AM</div>
      </div>
      <div class="chatlog__message-primary">
        <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve">それとは別にソースレベルの型情報として</span></div>
      </div>
    </div>
  </div>
  <div id="chatlog__message-container-980707577283346472" class="chatlog__message-container" data-message-id="980707577283346472">
    <div class="chatlog__message">
      <div class="chatlog__message-aside">
        <div class="chatlog__short-timestamp" title="Monday, May 30, 2022 5:41 AM">5:41 AM</div>
      </div>
      <div class="chatlog__message-primary">
        <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve"><code class="chatlog__markdown-pre chatlog__markdown-pre--inline">&lt;T0, T1&gt;</code> なのか <code class="chatlog__markdown-pre chatlog__markdown-pre--inline">&lt;T0&gt;</code> なのか、もしくは ２つ目が <code class="chatlog__markdown-pre chatlog__markdown-pre--inline">&lt;T0, T1 where T1 == T0&gt;</code> になるのかはわからんけど、</span></div>
      </div>
    </div>
  </div>
  <div id="chatlog__message-container-980707686377214014" class="chatlog__message-container" data-message-id="980707686377214014">
    <div class="chatlog__message">
      <div class="chatlog__message-aside">
        <div class="chatlog__short-timestamp" title="Monday, May 30, 2022 5:42 AM">5:42 AM</div>
      </div>
      <div class="chatlog__message-primary">
        <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve">返り値のジェネリックシグネチャはソースレベルの型検査で扱えてれば問題ないはず</span></div>
      </div>
    </div>
  </div>
  <div id="chatlog__message-container-980707967768883301" class="chatlog__message-container" data-message-id="980707967768883301">
    <div class="chatlog__message">
      <div class="chatlog__message-aside">
        <div class="chatlog__short-timestamp" title="Monday, May 30, 2022 5:43 AM">5:43 AM</div>
      </div>
      <div class="chatlog__message-primary">
        <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve">ジェネリックパラメータと <code class="chatlog__markdown-pre chatlog__markdown-pre--inline">ortOf</code> のindexの対応関係は、 ソースレベルのシグネチャから、IRレベルのシグネチャを対応させてる関係上、 caller側でもcallee側のコンパイル時と同じようにわかるはずだし。</span></div>
      </div>
    </div>
  </div>
</div>