What I really want for large scale Rust projects is a static analysis tool that tells me the shortest path to thread a value of type T into a function several levels down the call stack.
Conversation
Like interactive programming with proof assistants?
1
2
Interactive holes and case splits would be super handy in similar situations!
1
we'll get there, e.g. imgur.com/EpJO13M
1
2