その前提がおけなくて、「型検査で通る呼び出しはなんでもされうる」っていうシナリオなら、まあそうだけど、それって厳しいケースがたくさん出てきそう

7:52 AM

そういうパターンは

7:52 AM

そもそも実行テストで洗い出さないといかんやん。