ブロックの型はブロックの最後の「式」の型と等しい。(「ブロックの最後に式がない」場合は())

ここの間違いが他のすべての説明によく分からない辻褄合わせを持ち込んでいるだけだと思う