Assertion: interface's declaration | /r/HasProperty | possible
Facets:
Source sentences:
text: So, the following declaration is possible, but would return in a ClassCastException when executed: