Аргументы шаблона могут быть выведены из типа, указанного при взятии адреса файла overloaded function. Тип функции шаблона функции и указанный тип используются как типы P и A, и вычитание выполняется, как описано в [temp.deduct.type].
В placeholder type возвращаемом типе шаблона функции A - это невыведенный контекст. Если вывод аргумента шаблона для такой функции завершается успешно, тип возвращаемого значения определяется при создании экземпляра тела функции.