hacspec
Make sure const generics/types/impls are correctly transported everywhere in the engine
Adding type and const generics on function calls, there are some places in the engine where it's not entirely clear whether we should or not insert/carry type/consts infos.
This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "Published by a pub.dev verified publisher"){kind=small}
This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.
This issue has been marked as stale due to a lack of activity for 60 days. If you believe this issue is still relevant, please provide an update or comment to keep it open. Otherwise, it will be closed in 7 days.
This is still relevant, but we will probably just enforce that while slowly migrating phases from OCaml to Rust. Thus I'm closing.