It's not a practical case. Though it might be a source of errors, I doubt it to be worth the extra compiler checks and balances for each local that is created.
I just suggested it be mentioned as an anti-pattern .. it would not be a good use of compiler time to check for such things imho.