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