>>397
型推論器ってなんなの？
(疎な条件分岐を考慮した) 定数伝播でpopが失敗するとかなら分かるんだが・・・
定数ではない何かが伝播するの？