Почему структура должна соответствовать Hashable, а также универсальному массиву при преобразовании в словарь

Цель состояла в том, чтобы преобразовать элементы общего списка в словарь для переменной uniqueKeys, но я увидел ошибку:

Не удается подписать значение неправильного или неоднозначного типа

Я знал, что что-то нужно для соответствия протоколу Hashable, и в конце концов нашел решение, но я не совсем понимаю, почему это решение работает.

1. Я понимаю, почему T должно быть Hashable, поскольку оно входит в ключ словаря, но почему еще и CustomSet?
2. Если CustomSet использует Hashable, почему мне не нужно ничего писать в его расширении?

исходный код

struct CustomSet<T : Comparable > {
    private var list: [T]
    init(_ list: [T]){
        let uniqueKeys = list.reduce(into: [:]){ dict, item in
            dict[item, default: 0] += 1
        }.keys
        self.list = Array(uniqueKeys)
    }
}

extension CustomSet : Equatable {
    static func == (lhs: CustomSet, rhs: CustomSet) -> Bool {
        return lhs.list.count == rhs.list.count && lhs.list.sorted() == rhs.list.sorted()
    }
}  

Я, наконец, решил это с помощью:

struct CustomSet<T : Comparable > : Hashable where T : Hashable {
    private var list: [T]
    init(_ list: [T]){
        let uniqueKeys = list.reduce(into: [:]){ dict, item in
            dict[item, default: 0] += 1
        }.keys
        self.list = Array(uniqueKeys)
    }
}

extension CustomSet : Equatable {
    static func == (lhs: CustomSet, rhs: CustomSet) -> Bool {
        return lhs.list.count == rhs.list.count && lhs.list.sorted() == rhs.list.sorted()
    }
}  

Я также заметил, что факторизация в расширении: extension CustomSet: Hashable where T : Hashable не похожа на struct CustomSet<T : Comparable > : Hashable where T : Hashable с точки зрения добавления протокола Hashable, потому что я все еще вижу эту ошибку.

Что я пробовал

Если я добавлю это к универсальному типу T, я все равно увижу ту же ошибку.

struct CustomSet<T : Comparable, Hashable >

Если я добавлю Hashable к CustomSet, я увижу ошибку

Не удается преобразовать значение типа «[T]» в ожидаемый тип аргумента «UnsafeRawBufferPointer».

а также

Наследование от непротокольного типа «Hashable»

extension CustomSet : Equatable, Hashable {
    static func == (lhs: CustomSet, rhs: CustomSet) -> Bool {
        return lhs.list.count == rhs.list.count && lhs.list.sorted() == rhs.list.sorted()
    }

    func hash(into hasher: inout Hasher) {
       var hashValue: Int {
           var hasher = Hasher()
           self.hash(into: &hasher)
           return hasher.finalize()
       }
    }
 }