Issue #745: Sweep the accepted programs without main through rustc too, as library crates

Open and answer this issue on GitHub.

ready · opened 2026-10-20 · updated 2026-10-20 · 0 comments

Follow-up to #705 (0.0.1110). The CI sweep (crates/nikaia/tests/accepted_sweep.rs) checks every accepted one-file program that has a main. Of 1173 dumped programs, 277 have no main and are skipped, so a lowering defect in them is never seen. The owner’s rule still applies to them: whatever the checker accepts must compile in rustc.

To build

1. Programs without main are lowered as a library crate (--crate-type lib) and checked with rustc --emit=metadata, batched like the others.
2. A refusal that is new is filed as an issue and goes on the KNOWN list with its number. Do not fix it in this step.
3. Report the added run time. Keep the whole sweep within a few minutes in CI.

Back to Open Issues