4 ms·Given that types may define their own instances of Eq, the else clause might be reachable.by WolfeReader 12y agoGiven that types may define their own instances of Eq, the else clause might be reachable.mercurial 12y agoAnd the content of the first block may be unreachable all the time, depending on the implementation of Eq. But you probably have a number of issues to worry about if your implementation of Eq doesn't work for the identity case.loqi 12y agolet nan = 0.0/0.0 in nan == nan