You constrain a protocol extension with `where Self: Equatable`. What is the effect of that constraint on conformers that are NOT Equatable?
protocol Item {}
extension Item where Self: Equatable {
func sameAs(_ other: Self) -> Bool { self == other }
}