for ( auto i = 0; i < 3; i++ )

const int N = 10 * 1000;
for ( auto i = 0; i < N; i++ )
これらの場合の、iの型の推論はどう行われるの
上のiは0以上3未満だからunsigned
下のiはconst int Nとの比較するからint
って感じ?