Function get_path

mypy/server/objgraph.py:92–101

(
    o: object, seen: dict[int, object], parents: dict[int, tuple[int, object]]
)

def get_path(
    o: object, seen: dict[int, object], parents: dict[int, tuple[int, object]]
) -> list[tuple[object, object]]:
    path = []
    while id(o) in parents:
        pid, attr = parents[id(o)]
        o = seen[pid]
        path.append((attr, o))
    path.reverse()
    return path