Ada does this too

This is exactly the same attitude that everyone had towards borrow checking before Rust existed.

Sure, *eventually* you probably do have to give up and stop trying to Change The World - a language has to be finished at some point. But Rust is very obviously not there yet. It would be a shame if they gave up on having nice, well-behaved abstractions just because some of the theory is inconveniently complicated. Traits and bounds are improving, slowly, along with most of the rest of the language. For example, the standard library already makes some use of specialization[1][2], a sorely missing feature that is currently in the process of being stabilized.

Rust is not saying "that's impossible." They're saying "we want to take the time to try and do that right." I say, let them. Even if they fail, we can learn from that failure and adapt. But if you never try, you can never succeed.

[1]: https://rust-lang.github.io/rfcs/1210-impl-specialization.html
[2]: https://doc.rust-lang.org/src/core/iter/traits/iterator.r...