Pythonの特徴として正しい説明はどれか。

varキーワード（ローカル変数型推論）をforループのカウンタ変数に使用した場合、その変数は実質的にfinal（effectively final）として扱われるか。