9558f5188a
It'll be used in the JS back-end as well soon, so
DeserializedDescriptorResolver is not the best place for it
Original commit: 4c9afb9d20