Assertion: argument's function | /r/CapableOf | take their default argument values
Facets:
Source sentences:
text: Because default arguments' values are "filled in" at the call site rather than in the body of the function being called, virtual functions take their default argument values from the static type of the pointer or reference through which the call is made, rather than from the dynamic type of the object supplying the virtual function's body.