>>7
端的に言えば、型が決まってるというのが正しい。
つまり、正しい型を渡すのはプログラマであるあなたの義務であり、
異なった型を渡してはいけない