get_deprecated does not force exports on transitive dep

a imports value from b. b imports old_func from c. a only uses value, not old_func.

Deprecation warning emission for imported names happens at solve time (see the Binding::Import arm of solve_binding), not during binding. The warning fires only if the import is actually resolved — which old_func is not here, because a never references it.

c ends at Step::Nothing: b's bind phase no longer forces c via module_exists, the import binding for old_func is never solved (nobody consumes it), and c's file is never touched.

Files

a.py:

from b import value
x = value

b.py:

from c import old_func
value: int = 42

c.py:

def old_func() -> None: ...

Check a.py

a: Solutions
b: Answers
c: Nothing

(36 builtin demands hidden)
a -> b::Load(module_exists)
a -> b::Exports(export_exists)
a -> b::Exports(is_implicit_reexport)
a -> b::Exports(get_deprecated)
a -> b::KeyExport(Name("value"))