Assertion: expression's type | /r/HasProperty | removed for upper bound u of xi
Facets:
value: from the candidate set
type: OTHER
Source sentences:
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.