Description
Over in CircuitPython we took a patch from me to reduce the flash storage size of properties that only have a getter, or only a getter and a setter. (Properties with just 1 or 2 slots are placed together in flash, so that address comparisons can reveal the number of slots)
As written, it's intended to be optional but I didn't measure whether it's truly zero-impact when disabled. It also affects the ABI (or is mp_obj_property_get not part of the ABI?)
If there is interest, I will prepare a version for Micropython. However, I wanted to ask first, as I know you don't prioritize the use of properties within core code, and it doesn't help with runtime properties. Feel free to close this up if that's the consensus on your end.
For more details, check out adafruit#6337