Nope. Same issue in MBED5.15. Crashes on interrupt. The bug I posted in the original link shows the issue is still open. Your syntax is mostly clean and it makes sense but I have tried a variety of implementations such as yours and still crashes. I think the bug is still there.
Did you happen to try your code on an STM32 board? I suspect you’ll see the same bug.
