Assertion: concept's type | /r/HasProperty | deduced
Facets:
value: contextually
type: MANNER
Source sentences:
text: the type of x1 is deduced to whatever f returns Sortable auto x2 = f ( y ); // the type of x2 is deduced, but only compiles if it satisfies Sortable
text: the type of x1 is deduced to whatever f returns Sortable auto x2 = f ( y ); // the type of x2 is deduced, but only compiles if it satisfies Sortable
text: A concept taking multiple template arguments can constrain a contextually deduced type.