Assertion: template's code | /r/HasProperty | generated for constraint
Facets:
Source sentences:
text: No code is generated for a constraint using current compilers