実行時の値としての x が作られるときにはそのメタタイプである S1<Int> もランタイムメタデータには登録済みではあるが、その各種コンフォーマンスはまだ評価されていない、って感じかなあ

2:08 AM

まあジェネリクスを使うとメタタイプが実行時まで用意されないケースがあって、色々とランタイム関数で頑張ってますね