コンパイラの本読んで出直して来ます。まだまだSILOptimizerのGeneric specializationに辿り着くまで先は長い... Guaranteed optimizationsだけでも難しい