> 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 importa

> 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!