test that @Deprecated is disallowed with parameters, should it
end up as a user annotation