Assertion: expression's type | /r/HasProperty | uj
Facets:
Source sentences:
text: For each lower bound U of Xi all types Uj to which there is not an implicit conversion from U are removed from the candidate set.
text: For each upper bound U of Xi all types Uj from which there is not an implicit conversion to U are removed from the candidate set.