Comment on Rust's Two Kinds of 'Assert' Make for Better CodeparentComments−skavi1yExceptions are a special case of general effect systems which do include the capability you describe.
Comments
Exceptions are a special case of general effect systems which do include the capability you describe.