Протоколы и generics

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

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

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

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

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

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

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

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

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

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