Assertion: expression's argument | /r/CapableOf | produce a value of that type
Facets:
Source sentences:
text: In these cases, the argument has an expected type and the given expression must produce a value of that type.