function template is not visited and its return type is not analyzed