<div class="chatlog__message-group">
  <div id="chatlog__message-container-833696733606838273" class="chatlog__message-container" data-message-id="833696733606838273">
    <div class="chatlog__message">
      <div class="chatlog__message-aside"><img class="chatlog__avatar" src="https://cdn.discordapp.com/avatars/293572563010060288/92f572b5e1ef6656a55498787c15a5ad.png?size=512" alt="Avatar" loading="lazy"></div>
      <div class="chatlog__message-primary">
        <div class="chatlog__header"><span class="chatlog__author" style="color:rgb(231,76,60)" title="tarunon" data-user-id="293572563010060288">tarunon</span> <a href="/channels/375206337937801216?category=main&amp;channel=swift-zatsu&amp;message_id=833696954865287168"><span class="chatlog__timestamp" title="Monday, April 19, 2021 1:33 PM"></span></a><a href="#chatlog__message-container-833696733606838273">4/19/2021 1:33 PM</a></div>
        <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve">記事書きつつここの議論を踏まえた上で、私の中に 1. 暗黙の型変換(auto boxingもしくはそれ相当)をサブタイピングとして扱うことはやるべきではない(あくまで型変換に留まらせるべきである) 2. もし暗黙の型変換をサブタイピングとして扱うことを許容したとしても、逆向きの暗黙のアンラップは許容するべきではない と言う仮設が構築されつつある</span></div>
      </div>
    </div>
  </div>
  <div id="chatlog__message-container-833696954865287168" class="chatlog__message-container" data-message-id="833696954865287168">
    <div class="chatlog__message">
      <div class="chatlog__message-aside">
        <div class="chatlog__short-timestamp" title="Monday, April 19, 2021 1:34 PM">1:34 PM</div>
      </div>
      <div class="chatlog__message-primary">
        <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve">おそらくですが、swiftのサブタイピングにおいてTとT?が特にヤバくて、T?とU?は許容できる可能性がありそう(ちゃんと考えてない)</span></div>
      </div>
    </div>
  </div>
</div>