Who determines the `Item` in a conformance to `protocol Catalog<Item>`?

Who determines the `Item` in a conformance to `protocol Catalog<Item>`?

1. The conforming type, through the witnesses that satisfy the protocol.
2. Every method caller chooses a new Item.
3. The first existential value stored at runtime chooses it globally.
4. The protocol extension always fixes it as Any.