Comment by omoikane

See also:

https://news.ycombinator.com/item?id=41464994 - C2y Proposal: Essential Effects for C (2024-09-06, 30 comments)

Is there a corresponding proposal for C++? The earlier thread mentioned that "C++ doesn't have this yet", but I am wondering if C++ has enough template magic that it's able to do it through libraries without changes to the language.