∀T ∈ Hashable, ∀a,b ∈ T, a == b -> a.hashValue == b.hashValue 定義がこんな感じだとすると、String?とString??で型が一致していない場合は前提が崩れるのでhashValueについては何も言えないはずです。