protocolo SomeProtocol {} funcao test1_1(valor: SomeProtocol) {} funcao test1_2(valor: qualquer SomeProtocol) {} funcao test2_1(valor: some SomeProtocol) {} funcao test2_2<Valor: SomeProtocol>(valor: Valor) {} classe A { funcao test2_2<Valor: SomeProtocol>(valor: Valor) { } } classe B: SomeProtocol { } A().test2_2(valor: B())