I believe it would be possible to implement using an edition in a way that any *old* code is compatible with new code. Regarding implicitness, a lot in Rust al

I believe it would be possible to implement using an edition in a way that any *old* code is compatible with new code. Regarding implicitness, a lot in Rust already is implicit (e.g. type inference). Good implicitness only feels weird at first, before we get used to it. I linked to Aaron Turon's article on reasoning footprint, but as a follow up, there is withoutboat's article on "not explicit" that goes into the topic more: https://boats.gitlab.io/blog/post/2017-12-27-things-explicit-is-not/ https://boats.gitlab.io/blog/post/2017-12-27-things-explicit...