[Bug] No error on missing `__all__` implementation

[kinto0]

Pyright errors in the following module:

__all__ = ["test"] # E: "test" is specified in __all__ but is not present in module  (reportUnsupportedDunderAll)

but not if you add test:

__all__ = ["test"]
test = 5

Pyrefly should implement this behavior.

[github-actions]

This issue has someone assigned, but has not had recent activity for more than 2 weeks.

If you are still working on this issue, please add a comment so everyone knows. Otherwise, please unassign yourself and allow someone else to take over.

Thank you for your contributions!

[kinto0]

this is more difficult than I thought. Naive implementation here.

It doesn't work on dunderallentry::remove at all. To solve that, we need to invoke the export's exports() like the following change in step_exports:

        let exports = Exports::new(&ast.body, &load.module_info, ctx.sys_info);
        exports.exports(ctx.lookup);
        exports

but this causes a deadlock

[stroxler]

I suspect this cannot be done in definitions.rs, which by design cannot know about all names imported using wildcards.

We likely need to do it in the bindings layer instead