Expressing range constraints in CNF form

[Walter Bright via Digitalmars-d]

On 6/11/2017 12:07 PM, crimaniak wrote:
> Regardless of the implementation method, this will require the previously 
> proposed Phobos refactoring. Independent special definitions have to be reduced 
> to general ones and use "static if" to select the algorithm. Otherwise, each 
> failed independent definition will give an additional error message, and the 
> compiler does not have the ability to determine which one is relevant.

You're right that there are issues with the `msg` thing in the presence of 
overloading.