This now compiles on ESP platform v2.4.2 and v2.5.2 on Arduino IDE 1.8.9 and 1.9.0 beta. I've also uploaded to example to ESP8266 to double check and works fine.
