Union doesn't simplify arguments in isinstance

[pkch]

from typing import Any

o: object = 1
if isinstance(o, (int, str, int)):
    reveal_type(o)  # revealed type is 'Union[builtins.int, builtins.str, builtins.int]'

[gvanrossum]

Is that still so with #3025?

[pkch]

Nope, it's fixed by #3025.