型推論が終わった後でSILを生成する前じゃない？

5:45 AM

いや、SILになってからやったほうがいいのかな

5:46 AM

ロジックとしては未初期化のフィールドを調べるとかと似てるよね