That's the first time I've seen the Borrow Checker referred to as a "type system"
That might be one of the few things in the article that's actually correct, though?
https://en.m.wikipedia.org/wiki/Substructural_type_system