Function template overload resolution, dependent and non-dependent parameters

Question

Given the following program

#include 

template struct id { using type = T; };

template
int func(T1, T2