Assertion: expression's type | /r/HasProperty | int
Facets:
Source sentences:
text: Thus, the effect is that b and s are converted to int , and the type of the result is int .