Make revealed type of Final vars distinct from non-Final vars#7955

Michael0x2a merged 3 commits intopython:masterpython/mypy:masterfrom

Michael0x2a:adjust-final-var-reportingMichael0x2a/mypy:adjust-final-var-reportingCopy head branch name to clipboard