> because lots of seemingly valid programs won't pass the borrow checker

Some straight-up valid programs as well