Assertion: compiler | /r/CapableOf | resolve recursive conditionals
Facets:
Source sentences:
text: Because C++ templates are type-aware and Turing-complete, they can also be used to let the compiler resolve recursive conditionals and generate substantial programs through template metaprogramming.