typecheck: promote call-arity mismatch from warning to hard error

7227a42

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

.github/workflows/auto-merge-ready-prs.yml on: push 1

NotebookLM Gate on: push 1

🔒 NotebookLM notebook required

GitGuardian

GitGuardian Security Checks

Issue Gate on: pull_request_target

check-linked-issue

FPGA E2E Build on: pull_request 16

fpga-smoke

fpga-lint

fpga-synthesis

fpga-synthesis-arty

fpga-formal

fpga-conformance

fpga-bitstream

fpga-report

Validate JSON Schemas on: pull_request 1

validate

NOW Sync Gate on: pull_request 1

check-now-freshness

Check Now Freshness on: pull_request 1

check

PR Dashboard on: pull_request 1

pr-dashboard

NotebookLM Gate on: pull_request 1

🔒 NotebookLM notebook required

SEAL Coverage on: pull_request 1

coverage

L1 TRACEABILITY Check on: pull_request 2

Check L1 TRACEABILITY

L1 Traceability Summary

PHI Loop CI on: pull_request 1

phi-loop-check

secret-scan on: pull_request 1

scan

Seal Staleness Warning on: pull_request 2

Warn if NMSE seal is stale vs compiler.rs

NotebookLM Auto-Sync on: pull_request 4

extract-issue

sync-activity

manual-sync

sync-notebook

typecheck: promote call-arity mismatch from warning to hard error

Uh oh!

Select a check to view from the sidebar