Si no se cumplen las restricciónes de un subtipo, como un rango, se eleva la excepción