This seems to be exactly what the Unison language [1] tries to do.

I actually have been thinking about how the concept could be implemented for Rust.

[1] https://news.ycombinator.com/item?id=22009912