It seems there is some kind of consensus that considering the runtime type instead of the satin type to build the property path is better. Check out https://hibernate.onjira.com/browse/BVAL-226 and let me know if you object. Otherwise, I plan to clarify this in the spec. Emmanuel