> Like maybe checked exceptions in C++ would work

https://en.cppreference.com/w/cpp/language/except_spec