Skip to content

t27b: do not lower bodies no test reaches -- Sema-level refusals in an unreached fn are withdrawn from one plan (Closes #10897) - #10999

Merged
gHashTag merged 5 commits into
masterfrom
t27b/lazy-bodies-10897
Oct 19, 2026
Merged

gHashTag merged 5 commits into
masterfrom
t27b/lazy-bodies-10897

ledger(t27b): parser and deps_card pass now, notebooklm is blocked by…

d11f776
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar