そういう事か。これはIntからAへの暗黙変換ができるだけで、aの利用箇所がaの型推論に影響してるわけではないから、岸川さんの求めている事とは違うと思います。見た目のコードは似ているけど。