protokol SomeProtocol {}
funkcia test1_1(hodnota: SomeProtocol) {}
funkcia test1_2(hodnota: akýkoľvek SomeProtocol) {}
funkcia test2_1(hodnota: some SomeProtocol) {}
funkcia test2_2<Hodnota: SomeProtocol>(hodnota: Hodnota) {}
trieda A {
funkcia test2_2<Hodnota: SomeProtocol>(hodnota: Hodnota) {
}
}
trieda B: SomeProtocol {
}
A().test2_2(hodnota: B())