Hi Robert, you can make it work; but not for all input:
ClearAll[f]
f[Plus[n_,1]]:=n^2
f[a+1]
f[3+1]
So it would work for a+1 (where a is a symbol). If a is a number, then it will first compute the sum, and then call the function; the function does not match the pattern then.
