SE-0215, Conform Never to Equatable and Hashable, has been accepted! https://t.co/zBneV1oWiZ The core team also concluded: 1. Never should also conform to Error and Comparable 2. Never should become a blessed bottom type Exactly the resolution I hope...