[jfkebwjsbx]

> This is a good thing, because it makes lifetimes and ownership explicit and visible in the code.

No, it is additional burden. If it was possible to do it without annotations, you bet we would do it!

[Rusky]

It's only a burden to the extent that type annotations are a burden. It's definitely possible (including in Rust) to do away with both, but that has downsides of its own.

[jfkebwjsbx]

I am not saying you cannot write code without them, but that you cannot do away with them without losing what they bring.