typecheck: bare non-negative integer literals are context-polymorphic

602f75e

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

GitGuardian

GitGuardian Security Checks

NotebookLM Gate on: push 1

🔒 NotebookLM notebook required

NotebookLM Auto-Sync on: push 2

extract-issue

sync-activity

manual-sync

sync-notebook

SEAL Coverage on: pull_request 1

coverage

Issue Gate on: pull_request_target

check-linked-issue

Seal Staleness Warning on: pull_request 2

Warn if NMSE seal is stale vs compiler.rs

Check Now Freshness on: pull_request 1

check

NotebookLM Auto-Sync on: pull_request 4

extract-issue

sync-activity

manual-sync

sync-notebook

PR Dashboard on: pull_request 1

pr-dashboard

NotebookLM Gate on: pull_request 1

🔒 NotebookLM notebook required

L1 TRACEABILITY Check on: pull_request 2

Check L1 TRACEABILITY

L1 Traceability Summary

Validate JSON Schemas on: pull_request 1

validate

FPGA E2E Build on: pull_request 16

fpga-smoke

fpga-lint

fpga-synthesis

fpga-synthesis-arty

fpga-formal

fpga-conformance

fpga-bitstream

fpga-report

PHI Loop CI on: pull_request 1

phi-loop-check

secret-scan on: pull_request 1

scan

NOW Sync Gate on: pull_request 1

check-now-freshness

NotebookLM Auto-Sync on: pull_request 4

extract-issue

sync-activity

manual-sync

sync-notebook

typecheck: bare non-negative integer literals are context-polymorphic

Uh oh!

Select a check to view from the sidebar