Assertion: unexpected exception | /r/CapableOf | escape the function
Facets:
Source sentences:
text: The compiler can use this information to optimize calls to the function, and to terminate the program if an unexpected exception escapes the function.