feat: add checked as-cast expression 🎯 - #215

Merged

timfennis merged 8 commits into

feature/checked-casts

Sep 2, 2026

Commits on Sep 2, 2026

test(analyser): pin the type rules for dispatch and augmented assignment 🧪

timfennis
and
claude
committed
d9173c6
feat: add checked as-cast expression 🎯

timfennis
and
claude
committed
0daca8d
feat(tree-sitter): support `as` in the grammar and editor queries 🌳

timfennis
and
claude
committed
33251e5
feat(analyser): suggest a cast when only the argument type is too wide 💡

timfennis
and
claude
committed
7505cc8
refactor(analyser): render type-annotation help as a note 📝

timfennis
and
claude
committed
5ccfadc
fix(parser): disambiguate cast comparisons 🧭
timfennis
committed
3fb7cc5
fix(vm): bound cast error type rendering ⏱️
timfennis
committed
34a672a
fix(vm): deduplicate aliased cast checks 🔁
timfennis
committed
26b15dd