Протоколы и generics

Как наличие associated type влияет на использование протокола как типа значения в Swift?

Разберите, почему реализация метода из расширения протокола может вызываться в generic-функции, несмотря на одноимённый метод конкретного типа.

В практической ситуации обобщённый контейнер должен соответствовать протоколу только при выполнении ограничения для его параметра типа. Как Swift определяет доступность такого соответствия?

Как Swift выводит associated type, если соответствующий typealias не объявлен явно?

При каких условиях метод из ограниченного расширения протокола становится доступен через generic-параметр?

Как ограничение associated type протокола позволяет generic-коду использовать возможности этого типа без дополнительного ограничения?

Зачем протоколу связывать два associated type через same-type constraint, если оба уже ограничены одним протоколом?

Объясните механизм: почему функция с opaque-результатом some обязана возвращать один конкретный тип, хотя он скрыт за протоколом?

Объясните механизм: как уточнение ограничения associated type в дочернем протоколе меняет требования к соответствующему типу?

Почему расширение типа в Swift не может добавить ему сохранённое свойство?

Представьте generic-функцию с двумя параметрами, каждый из которых ограничен протоколом Equatable. Может ли она напрямую сравнить эти параметры?

Сравните ограничения на типы коллекций: почему вызов этой функции допустим для Array и Set, хотя сами типы коллекций различаются?

func combined<A: Collection, B: Collection>(
    _ first: A,
    _ second: B
) -> [A.Element]
where A.Element == B.Element {
    Array(first) + Array(second)
}

let result = combined([1, 2], Set([3, 4]))

Что произойдёт, если для одного generic-типа объявить две условные конформности к одному протоколу с разными ограничениями?

Когда в протоколе следует выбрать associated type вместо generic-параметра метода для типа, связанного с конкретной реализацией?

Может ли тип, соответствующий родительскому протоколу, автоматически считаться соответствующим протоколу, который его расширяет?

Как работает значение по умолчанию для associated type, если соответствующий тип можно вывести из реализации протокола?

В чём принципиальное отличие generic-параметра протокола от associated type, если каждый из них связывает протокол с типом?

Сравните ограничение generic-параметра соответствием протоколу с ограничением его равенством конкретному типу: как каждое влияет на допустимые аргументы и доступные операции?

Проведите границу: делает ли ограничение в where расширения протокола обязательным условием соответствия этому протоколу?

Допустим, нужно хранить в одной коллекции разные реализации протокола с associated type. Как type erasure решает эту задачу?