typeofの評価式が静的なexistentialの場合内部の型を返して

12:31 PM

静的にgeneric param typeの場合は置換された型を返す（ここでexisの展開はしない）

12:31 PM

ってことかな