>>946
> 書けても実際には書かれない。
またへんなこと言い出した

もしそうなら、実引数のチェックなんていらないよね
だって、間違った型の変数渡さない（書かない）ってことでしょ？