| /* |
| EXTRA_FILES: imports/imp19661.d imports/test19107a.d imports/test19107b.d |
| TEST_OUTPUT: |
| --- |
| fail_compilation/test19107.d(24): Error: none of the overloads of template `test19107.all` are callable using argument types `!((c) => c)(string[])` |
| fail_compilation/test19107.d(18): Candidate is: `all(alias pred, T)(T t)` |
| with `pred = __lambda2, |
| T = string[]` |
| must satisfy the following constraint: |
| ` is(typeof(I!pred(t)))` |
| --- |
| */ |
| |
| // https://issues.dlang.org/show_bug.cgi?id=19107 |
| |
| import imports.test19107b; |
| |
| void all(alias pred, T)(T t) |
| if (is(typeof(I!pred(t)))) |
| { } |
| |
| void main(string[] args) |
| { |
| args.all!(c => c); |
| } |