So the solution would be, to revert the change that broke time, and re-add it later but changing inference only for crates in 2024 edition?
In such a way that crates before edition 2024 would continue to compile without adding new type annotations, but to migrate to Rust 2024, you would need to add those annotations. (And then the bad versions of time will just continue to work forever, because they are not written in Rust 2024 even if other crates in your program are)
However: the RFC is about tying method resolution to editions, not tying type inference to editions. So this would be a further extension to the RFC?