Repository navigation

Remove Any from public APIs - #48

Merged

vim89 merged 5 commits into

mainfrom

no-any-public-api

Oct 6, 2026

Merged

Remove Any from public APIs#48
vim89 merged 5 commits into
mainfrom
no-any-public-api

Commits on Oct 6, 2026
- feat: add closed types for error context and sql parameters
  vim89
  committed
  fc71151
- refactor: type error context as ContextValue instead of Any
  vim89
  committed
  1a4a7b8
- fix: remove unsound casts from core patterns
  vim89
  committed
  91499f1
- refactor: drop Any from contract and algebra signatures
  vim89
  committed
  b0940d0
- ci: fail the build on Any or asInstanceOf in production code
  vim89
  committed
  eda8f56