Letting the compiler figure access patterns & choose the data structure that best fits

for what it’s worth, there is a tremendous amount of well-documented low-hanging fruit (example) that the swift compiler is failing to optimize today, optimizations that can have a dramatic impact on performance. one thing that would have a significant impact on the ecosystem today is if it were possible to declare _modify accessor requirements in protocols, as the existing get/set semantics severely limit the possibilities for composable data structures today.