I'm curious what you mean by "lengthy" here. The reason I say Rust lets me keep fewer things in my head is because something like this in C:
struct Bar {}; struct Foo { struct Bar *bar; };
struct Bar; struct Foo<'b> { bar: &'b Bar, }
I'm curious what you mean by "lengthy" here. The reason I say Rust lets me keep fewer things in my head is because something like this in C:
where it's no clear if Foo owns Bar or merely outlives it, becomes in Rust and I no longer have to keep this information in my head.