On 06/11/2013 10:49 AM, Andrew Sutton wrote:
After investigating, neither call_expr nor resolve_nondeduced_context
do what I need. I need a resolution of a call expression that does not
return overload sets, especially in the case where the initial call
expression is already dependent.
Does this have to do with restrictions on overloading of concept functions?
Very much so. I need a single function because I'm inlining its body
at the call site.
And you need to do this even when the call is type-dependent?
Jason