The down-votes on your post are probably by people who are not happy with the status of tooling / debugging / IDEs for rust - but I totally see your point.
A lot of time spent maintaining / understanding the codebase is time spent thinking about edge cases and about what can go wrong.
I had a similar experience with Haskell, but in Haskell you also have to think about laziness and what the computer will actually try to do, which complicates things a bit.
