Added test for validations defined with type extensions.