A protocol declares an associated type and is used as a generic constraint. How does the generated protocol witness table express the associated type's concrete binding?protocol Container { associatedtype Element func first() -> Element? }
