仮引数は、実行時のチェックなので、次元さえ合えば可能だと思います。ただし、わかりにくくなるのと、参照の代入で型のチェックを将来するか否かを、スマイルブームさんに問い合わせた方が良いと思います。