タプルの中身がプロトコルの時とか、どういう扱いになるのだろう。

プロトコルにassociatedtypeが無い場合しか無理なはずで、仮にprotocol P1 だったとすると、 var x: (P1, P1) の取扱は、 var y: P1 と、ただの単一変数が、 struct S { var y: P1 ; var z: P1 } とフィールドに並んだ場合と同じだと思います。

2:36 AM

メタデータってのは型の型の事ですかね、Anyに突っ込むことができるので存在はすると思います。