I've just fixed UFCS for the experimental type function branch

jmh530 john.michael.hall at gmail.com
Fri Sep 11 11:11:12 UTC 2020

On Friday, 11 September 2020 at 02:24:07 UTC, H. S. Teoh wrote:
> [snip]
> Even better would be if the compiler enforced this: unless you 
> tested for some operation in the sig constraints, that 
> operation would be deemed illegal.  But in the past Walter & 
> Andrei have shot down Concepts, which is very similar to this 
> idea, so I don't know how likely this will ever make it into D.
> [snip]

Atila seems more convinced of the value of concepts.

More information about the Digitalmars-d mailing list