この特殊化はどの段階で入るんだろうなぁ。SILOptimizerが走らない-emit-silgen でも特殊化されてるように見えるし、SILGenの段階でやってる？