conformance checkする関数はAnyで受けているので、ややこしいexistentialとかでも、最終的には動的にチェックできる事が確認できると思います。Anyへのキャストはどんなオブジェクトでも可能なので。