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

[jmh530]

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.