I think ownership and especially lifetimes are a lot harder to reason about than the trait system tbh, even traits implementing traits, GATs, impl trait, and so

I think ownership and especially lifetimes are a lot harder to reason about than the trait system tbh, even traits implementing traits, GATs, impl trait, and so on and so forth.