Expressing range constraints in CNF form

[Walter Bright via Digitalmars-d]

On 6/11/2017 5:13 PM, Adam D. Ruppe wrote:
>        supportsFront!R &&

That doesn't work because there may be a local symbol:

     T front(R r) { }

which will not be in scope in supportsFront().