Corpuscularia lehmannii (Ice Plant)

Gift plants from the 2019 Vallejo Garden Tour plant sale.

May 19, 2019 // A mystery gift plants from the 2019 Vallejo Garden Tour plant sale. I think it’s in the Ice Plant family, but I’m not sure.

Anyone know what this is?
July 2, 2019 // Update: This was identified as Corpuscularia lehmannii (Ice Plant)

Aizoaceae // Corpuscularia lehmannii (Ice Plant) (syn. Delosperma lehmannii)
https://davesgarden.com/guides/pf/go/64212/
https://worldofsucculents.com/corpuscularia-lehmannii-ice-plant/
https://www.smgrowers.com/products/plants/plantdisplay.asp?plant_id=4252