Repository navigation

fix(vm): check a function from Any against the function type it's used as 🔒 - #329

Merged

timfennis merged 3 commits into

feat/type-checkerfrom

bugfix/check-functions-from-any

Nov 13, 2026

Merged

fix(vm): check a function from Any against the function type it's used as 🔒#329
timfennis merged 3 commits into
feat/type-checkerfrom
bugfix/check-functions-from-any

Commits on Nov 13, 2026
- fix(vm): check a function from Any against the function type it's used as 🔒
  
  timfennis
  and
  claude
  committed
  22c7999
- fix(vm): check a checked call's result on its frame, and convert returned functions 🔒
  
  timfennis
  and
  claude
  committed
  abb6d79
- fix(vm): check a checked function's arguments, and prove sequence returns 🔒
  
  timfennis
  and
  claude
  committed
  2483548