<div class="chatlog__message-group">
  <div id="chatlog__message-container-400148902394986496" class="chatlog__message-container" data-message-id="400148902394986496">
    <div class="chatlog__message">
      <div class="chatlog__message-aside"><img class="chatlog__avatar" src="https://cdn.discordapp.com/avatars/293624673265123328/accd07acc220a18568ba46a6e9ede18a.png?size=512" alt="Avatar" loading="lazy"></div>
      <div class="chatlog__message-primary">
        <div class="chatlog__header"><span class="chatlog__author" style="color:rgb(17,128,106)" title="koher" data-user-id="293624673265123328">koher</span> <a href="/channels/306995750418513920?category=main&amp;channel=swift-2&amp;message_id=400149024528924682"><span class="chatlog__timestamp" title="Tuesday, January 9, 2018 4:48 AM"></span></a><a href="#chatlog__message-container-400148902394986496">1/9/2018 4:48 AM</a></div>
        <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve">これって前の <code class="chatlog__markdown-pre chatlog__markdown-pre--inline">Int</code> に精度を明示すべきかどうかみたいな話とも関係してるんじゃないかなぁ。 <code class="chatlog__markdown-pre chatlog__markdown-pre--inline">Int</code> は <code class="chatlog__markdown-pre chatlog__markdown-pre--inline">ValueEnumerable</code> であってほしくないけど（概念としての整数は無限の要素を持つので） <code class="chatlog__markdown-pre chatlog__markdown-pre--inline">UInt8</code> は <code class="chatlog__markdown-pre chatlog__markdown-pre--inline">ValueEnumerable</code> であってほしい。同様に考えると <code class="chatlog__markdown-pre chatlog__markdown-pre--inline">Int32</code> や <code class="chatlog__markdown-pre chatlog__markdown-pre--inline">UInt32</code> も <code class="chatlog__markdown-pre chatlog__markdown-pre--inline">ValueEnumerable</code> であってほしいけど、 <code class="chatlog__markdown-pre chatlog__markdown-pre--inline">Int</code> を associated value に持つ <code class="chatlog__markdown-pre chatlog__markdown-pre--inline">enum</code> に <code class="chatlog__markdown-pre chatlog__markdown-pre--inline">ValueEnumerable</code> であってほしいわけじゃなくて、 <code class="chatlog__markdown-pre chatlog__markdown-pre--inline">Int</code> と <code class="chatlog__markdown-pre chatlog__markdown-pre--inline">Int32</code> の使い分けはやっぱり必要な気がする。</span></div>
      </div>
    </div>
  </div>
  <div id="chatlog__message-container-400149024528924682" class="chatlog__message-container" data-message-id="400149024528924682">
    <div class="chatlog__message">
      <div class="chatlog__message-aside">
        <div class="chatlog__short-timestamp" title="Tuesday, January 9, 2018 4:49 AM">4:49 AM</div>
      </div>
      <div class="chatlog__message-primary">
        <div class="chatlog__content chatlog__markdown"><span class="chatlog__markdown-preserve">
            <div class="chatlog__markdown-quote">
              <div class="chatlog__markdown-quote-border"></div>
              <div class="chatlog__markdown-quote-content">トピックしぼった提案から投げるパターン多い </div>
            </div><code class="chatlog__markdown-pre chatlog__markdown-pre--inline">Never</code> の bottom 化早く・・・
          </span></div>
      </div>
    </div>
  </div>
</div>