I think that a significant part of Rust complexity - among the other complexities - is that, due to the memory management design, a lot of types are duplicated

I think that a significant part of Rust complexity - among the other complexities - is that, due to the memory management design, a lot of types are duplicated into borrowed and owned types. I think it's a unique form of complexity among languages (but I'm no expert).