Quoting an unanswered question from the pitch thread.
As convenient as the ObjectIdentifier extension is for classes I think it would be also great if we add a default using Never which let‘s us express that a certain type never can be identifiable.
extension Identifiable where ID == Never {
public var id: ID { fatalError("Some good description") }
}
Other than that I support this proposal and think that it fits very well into Swift and stdlib.
We should also kick off a follow up proposal soon to decide which stdlib types will conform to that type (Never, Optional, etc.).