Unsafe cast #21

Merged

HEL merged 3 commits from feat/unsafe-cast into main 2026-06-24 12:00:03 +00:00

Conversation 0 Commits 3 Files Changed 9

+59 -7

3 Commits

Author	SHA1	Message	Date
HEL	5630320d21	chore: use unsafe_cast in demo script	2026-06-24 13:57:38 +02:00
HEL	9f05ba3224	feat: handle unsafe casts	2026-06-24 13:51:14 +02:00
HEL	5fbe965919	feat(checker): add typing submodule with cast functions	2026-06-24 13:40:23 +02:00