https://issues.dlang.org/show_bug.cgi?id=15027
--- Comment #8 from Rainer Schuetze <r.sagita...@gmx.de> --- > The trouble is that it fails in the constraint, not the type deduction part. It still fails, so instead of emitting an error message the compiler could change the type of the function arguments to the aliased type and retry deduction and constraint check. For multiple arguments with alias this, this could lead to a large number of possible combinations to try, though. --
