basedmypy icon indicating copy to clipboard operation
basedmypy copied to clipboard

Published 20 hours ago • verified publisher icon KotlinIsland

type-guard on callable types

Open KotlinIsland opened this issue 2 years ago • 0 comments 

a: Callable[[object], TypeGuard[int]

how denote?

a: Callable[[object], "argument 1 is int"]

KotlinIsland avatar Sep 29 '23 05:09 KotlinIsland