[red-knot] support * imports

[carljm]

PRs:

• [red-knot] Add failing tests for * imports #16873
• [red-knot] Avoid false-positive diagnostics on * import statements #16899
• [red-knot] Add more tests for * imports #16955
• [red-knot] Add initial support for * imports #16923
• [red-knot] Fix panic on cyclic * imports #16958
• [red-knot] Recognize an assignment in a function/class scopes as a global-scope definition for purposes of * imports if the assigned symbol is declared global #16959
• [red-knot] Add a couple more tests for * imports #17270
• [red-knot] Add more tests for * imports #17315
• [red-knot] Improve handling of visibility constraints in external modules when resolving * imports #17286
• [red-knot] Optimise visibility constraints for *-import definitions #17317
• [red-knot] Add some knowledge of __all__ to *-import machinery #17373

[carljm]

@AlexWaygood I think whenever you move on from this, it would be good to close this issue and open a new specific issue for __all__ support (or maybe just repurpose astral-sh/ty#199 to cover all forms of __all__ support?). Probably you were planning to do that anyway and this comment is redundant :)

[AlexWaygood]

Probably you were planning to do that anyway and this comment is redundant :)

Indeed ;)

[sharkdp]

One thing that's potentially worth mentioning here is that we do not understand relatively basic imports from numpy:

▶ cat pyproject.toml   
[project]
name = "test-numpy"
version = "0.1.0"
description = "Add your description here"
readme = "README.md"
requires-python = ">=3.13"
dependencies = [
    "numpy>=2.2.4",
]

▶ cat main.py 
from numpy import array

▶ uv run red_knot check
error: lint:unresolved-import
 --> /tmp/test_numpy/main.py:1:19
  |
1 | from numpy import array
  |                   ^^^^^ Module `numpy` has no member `array`
  |

Found 1 diagnostic