Use return type as type context for inference

[KotlinIsland]

def f() -> list[object]:
    r = [1]
    reveal_type(r)  # list[object]
    return r