>> 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. Andrew
