Assertion: compiler | /r/CapableOf | warn the programmer
Facets:
Source sentences:
text: The statements are equivalent at runtime, but the extra information allows the compiler to warn the programmer if the passed argument does not match the type specified.