I'd definitely agree, and the article proposes a static analysis tool (similar to the borrow checker) for that purpose.