Избыточные ^ сделать ошибкой

Знак `^` после имени переменной означает, что это не повторная, а новая переменная, скрывающая ранее описанную с тем же именем. Однако, ошибкой не является использовать знак `^` после переменной, ранее в предложении не встречавшейся. В этом случае нужно выдавать предупреждение.