basedmypy icon indicating copy to clipboard operation
basedmypy copied to clipboard

Published 20 hours ago • verified publisher icon KotlinIsland

handle promotions correctly

Open KotlinIsland opened this issue 1 year ago • 0 comments 

def f(a: float) -> None:
    if isinstance(a, float):
        reveal_type(a)
        return 
    reveal_type(a)

KotlinIsland avatar Aug 15 '24 08:08 KotlinIsland