型推論の実装テスト