I think it also demonstrates shortcoming of safety by default. Agility in rust should be possible with unsafe blocks, but you can't use unsafe blocks because it's anathema, and simply beyond your reasoning ability.