Assertion: overload | /r/HasProperty | derived &
Facets:
Source sentences:
text: struct Base { } ; struct Derived : Base { } d ; int f ( Base & ) ; // overload #1 int f ( Derived & ) ; // overload #2 int i = f ( d ) ; // d -> Derived& has rank