> The high complexity is intended to push more runtime errors back to compile time

I would almost say that the ergonomics of allowing this is almost as important as the borrow checker!