infer parameter types of inner function from usages

[KotlinIsland]

def outer():
    def inner(a, b, c):
        reveal_type(a)  # int
        reveal_type(b)  # str
        reveal_type(c)  # int | str

    inner(1, "a", "b")
    inner(2, "c", 3)

What about private functions as well?