search

kaleidawave / ezno

A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance
https://kaleidawave.github.io/posts/introducing-ezno/
MIT License
2.3k stars 42 forks source link

Narrowing #122

Open kaleidawave opened 4 months ago

kaleidawave commented 4 months ago

Using Type::Constructor information in a condition, it should be possible to record some truths that follow in the current block. Then getting-information-based-thingies should be able to read these recorded information and change results based from it.

This will use similar structs to the ones added (eventually) in #35