Assertion: cast | /r/HasProperty | successful
Facets:
Source sentences:
text: If the cast is successful, dynamic_cast returns a value of type new-type.