pylint #4024 W0631 false positive if a "else" clause is defining the loop variable [validation pending]

The following code:

for x in []:
    pass
else:
    x = 3
print x

will cause W0631 (Using possibly undefined loop variable 'x') on the last line, even tho x is not "possibly undefined" ...

prioritynormal
typebug
done in<not specified>
load left0.000
closed by#179dfac3bb53 Detect assignments to a loop variable in the else branch of a for statement.