На какой механизм в Swift похожи ассоциированные типы?

На дженерики (Generics).

Ассоциированные типы в протоколах (Associated Types) позволяют определить placeholder-имя типа внутри протокола, которое будет уточнено конкретным типом при принятии этого протокола. Это очень похоже на то, как дженерики используют placeholder-имена типов (например, T) в функциях, классах или структурах.

Пример ассоциированного типа:

protocol Container {
    associatedtype Item // Ассоциированный тип
    mutating func append(_ item: Item)
    var count: Int { get }
    subscript(i: Int) -> Item { get }
}

Пример использования дженерика:

struct Stack<T> { // Дженерик тип T
    var items: [T] = []
    mutating func push(_ item: T) {
        items.append(item)
    }
    mutating func pop() -> T {
        return items.items.removeLast()
    }
}

И в ассоциированных типах, и в дженериках мы используем символическое имя для типа, которое будет заменено конкретным типом по мере использования. Главное отличие в том1, что дженерики определяют типизированный параметр для структуры, класса или функции, а ассоциированные типы определяют требование к типу для протокола, которое должен выполнить соответствующий ему тип.