上のは通るようになった。

が、

def f(x,y)
  x+y
end

f(1,2)+"3"

が通ってしまう…

困ったなあ。