That should cause a domain error in beta_lpdf
whenever alpha
or beta
are negative. What were you expecting to happen?
Any of this kind of thing is semantic and will thus go into what’s known as a linter. @andrewgelman has dubbed the Stan linter “pedantic mode”; the link is to a wish-list.