Limited controlled types probably come closest.
https://learn.adacore.com/courses/advanced-ada/parts/resourc...