Avatar
出遅れた。 NeverErrorEquatable になっただけで、 bottom になったわけではないはず。ただ、たしか Chris Lattner か Joe Groff が forum の議論の最初の方で bottom type に言及してた気が。
4:13 AM
で、とりあえず今やることとして、 Equatable 入れるなら Error も入れるのがいいんじゃない?みたいな会話があったと思う。