As someone who has been working on a project involving a network (directed graph) with nodes that need references on both sides, I do agree with many points in the article. And yeah the burrow checker isn't perfect, as someone who came from C I do get to points where the logic is fine, but burrow checker doesn't get it and I'm like "C would let me just do it".
But I think I don't agree with the parts about it not getting better. Author said he's using it intermittently for a few years, I also have been using it for last few years and now I just write things the way rust expects it. And I think it has helped me not worry about a lot of runtime bugs. I just worry about the logical bugs and that's about it.
Not perfect, but I think it's pretty good. Also if you really want to force rust to do things, sometimes a little unsafe rust gets you there.