Limited controlled types probably come closest.

https://learn.adacore.com/courses/advanced-ada/parts/resourc...