You need to call resolve_nondeduced_context at some point. This doesn't seem to be the right place, since you also want to handle code like "if (foo<void>)". Maybe in resolve_address_of_overloaded_function just before the error? Jason