[Issue 4936] Better error when type inference fails due to incorrect template parameter type

[d-bugmail at puremagic.com]

https://issues.dlang.org/show_bug.cgi?id=4936

RazvanN <razvan.nitu1305 at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |RESOLVED
                 CC|                            |razvan.nitu1305 at gmail.com
         Resolution|---                         |WORKSFORME

--- Comment #7 from RazvanN <razvan.nitu1305 at gmail.com> ---
Right now the error is:

Error: none of the overloads of template `std.algorithm.sorting.completeSort`
are callable using argument types `!()(string[], string[])`
    Candidate is: `completeSort(alias less = "a < b", SwapStrategy ss =
SwapStrategy.unstable, Lhs, Rhs)(SortedRange!(Lhs, less) lhs, Rhs rhs)`

So it is pointing the declaration and it can be observed that `foo` is not
SortedRange.

--