Oh, i see, i'm not aware of any tagging for that then, sorry

Worth noting that "leisure=swimming_pool"+"swimming_pool=lazy_river" (https://wiki.openstreetmap.org/wiki/Key:swimming_pool#Alternative_usage)  seems to have more usage than leisure=lazy_river