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