Skip to content

Charge no UnlistedImportUse on kernel identities, imported-alias expansions, or listed qualified spellings - #10906

Merged
briansrls merged 5 commits into
mainfrom
cursor/unlisted-import-use-emitter-repairs-4cca
Sep 10, 2026
Merged

Charge no UnlistedImportUse on kernel identities, imported-alias expansions, or listed qualified spellings#10906
briansrls merged 5 commits into
mainfrom
cursor/unlisted-import-use-emitter-repairs-4cca

Hoist an in-body source annotation to module-item grain

90c5887
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar