And even the 1000 lines only work if there never is another developer touching the code. I can easily hold my own invariants in my head at that size, but if anyone else also contributes, there will be unknown invariants that I will miss.

Smart pointers are, besides other advantages, also a great communication tool.

That said, I prefer Haskell or Rust in that regard :)