Just to clarify, as I learned this the other day, it's not about EU citizenship, but about being "in the Union". A resident alien is covered as are vacationers, but only while they are physically in the EU.