да, потому что каждая вещь живет в другом месте в понимании компиляторов.
t t;
Компилятор ожидает тип, когда он встречает первый t и имеет тип с именем t.
Редактировать: Для адресации комментариев.
Я не говорю о сфере.
Но так как я не написал компилятор (только интерпретаторы), я не знаю этот термин. Компилятор ожидает, что токен при первом t будет типом, он также знает, какой тип был объявлен до этого момента. Так как он видит имя, которое относится к типу, он счастлив. Принимая во внимание, что если бы там был найден токен, который не был типом, то это правильно сообщило бы об ошибке.