A hashability problem

[total_swiftification]

@Avi

t seems that you want hashability to mean different things at different times for the same entities

Not for same entities: I want to have the ability to express different hashing for a concrete type and its existential type. For ex

protocol A: Hashable { //default impl here }
struct Beta: A, Hashable { //provide different hashing  }
//now code that wants Beta uses its hashability, 
//whilst code that expect A type, uses A's hashbility
//a bit simplified version of what I want, but correct

@Avi

Protocols are not intended to be bags of syntax.

What do you mean by bags of syntax?

@Avi

If you need different ways of hashing the same type, you need a separate protocol per semantic.

Depends on the case

@Avi

I'm really struggling to understand why you'd want to write such impenetrable code in the first place.

Check this or this. It is true that semantic of the code might be covered from sight, but it can be mitigated with various assistance from IDE.