Este tipo de aserciones resultan particularmente útiles en la metaprogramación de plantillas.