Assertion: exception | /r/HasProperty | listed in its type
Facets:
Source sentences:
text: A function could raise only exceptions listed in its type, but any leaking exceptions from called functions would automatically be turned into the sole runtime exception, failure , instead of resulting in compile-time error.