This is a really cool package. It's been known for a while now that such static anaysis is possible in Julia, but the new compiler hooks in 1.6 make this easier

This is a really cool package. It's been known for a while now that such static anaysis is possible in Julia, but the new compiler hooks in 1.6 make this easier, and now someone has come along and gotten it done! I hope to see editor integration of this soon.