Template type deduction and type traits

Question

I am not able to figure out why following code does not compile. In the overload 1, the type deduced is int & so, it should result in SFINA