intキーワードで宣言された変数aと、varキーワードで宣言された変数bの足し算は可能。 なぜなら、varは型を推論する機能なので、初期化式の1からint型(整数型)という結論を出すから。 結局、int型(整数型)とint型(整数型)の足し算になるので、問題なく計算可能。