In Swift's protocol witness table model, what does a witness table entry for a generic-constrained requirement actually point to, and what extra is passed?protocol Container { associatedtype Item func first() -> Item? }
