var で困ることってなんなの？C++ でも auto が導入されたというのに，var はなぜだめなの
もしかして var って型推論とは無関係なの？