Inconsistent feeling handling of Any in binder

from typing import Any, Final

CONSTANT: Final = 2015

def good(result: dict[str, Any]) -> None:
    code = 'asdf'
    if isinstance(result, dict):
        code = result.get('code', code)
    reveal_type(code)  # N: Revealed type is "Any"
    if code == CONSTANT:
        reveal_type(code)  # N: Revealed type is "Any"

def bad(result: Any) -> None:
    code = 'asdf'
    if isinstance(result, dict):
        code = result.get('code', code)
    reveal_type(code)  # N: Revealed type is "builtins.str"
    if code == CONSTANT:
        reveal_type(code)  # N: Revealed type is "builtins.str"

Based on real world code for rotki

This feels a little inconsistent / violating of gradual typing
Not exactly sure what if anything we should do, though

Found this via https://github.com/python/mypy/pull/20660 which makes --warn-unreachable flag raise a diagnostic on the second comparison

Reproduziere die beiden Beispiele und untersuche den Binder- oder Type-Narrowing-Pfad, den sie auslösen; das Issue nennt weder eine Quelldatei noch einen Test. Kläre mit den Maintainer:innen die beabsichtigte Semantik des Gradual Typing, bevor du das Verhalten änderst, und füge anschließend einen Regressionstest für das vereinbarte Ergebnis hinzu.