rustの型推論って曖昧なことを許容したっけ?
すべて一意にならないとならないと思ってたけど