Repository navigation

fix(diagnostics): report a header function's diagnostics in its header - #195

Merged

SizzleUnrlsd merged 2 commits into

mainfrom

174-header-diagnostic-file

Oct 8, 2026

Merged

fix(diagnostics): report a header function's diagnostics in its header#195
SizzleUnrlsd merged 2 commits into
mainfrom
174-header-diagnostic-file

Commits on Oct 8, 2026
- test(diagnostics): a header function's diagnostics must name the header
  SizzleUnrlsd
  committed
  fc78835
- fix(diagnostics): report a header function's diagnostics in its header
  SizzleUnrlsd
  committed
  10d4695