Even so, the borrow checker repeatedly profiles as an insignificant part of compile times, so wouldn’t make a difference.