Assertion: interface | /r/HasProperty | checked at compile-time
Facets:
Source sentences:
text: Empty interfaces can be checked at compile-time using the type-system in the compiler.