gnu / gcc / 1f16a020acbea0af26209478990b83b1a1ba3a2b / . / gcc / testsuite / gdc.test / fail_compilation / constraints_func2.d

/* | |

EXTRA_FILES: imports/constraints.d | |

TEST_OUTPUT: | |

--- | |

fail_compilation/constraints_func2.d(94): Error: none of the overloads of template `imports.constraints.test13` are callable using argument types `!()(int)` | |

fail_compilation/imports/constraints.d(23): Candidate is: `test13(T)(T v)` | |

with `T = int` | |

must satisfy one of the following constraints: | |

` N!T | |

!P!T` | |

fail_compilation/constraints_func2.d(95): Error: none of the overloads of template `imports.constraints.test14` are callable using argument types `!()(int)` | |

fail_compilation/imports/constraints.d(24): Candidate is: `test14(T)(T v)` | |

with `T = int` | |

must satisfy one of the following constraints: | |

` !P!T | |

N!T` | |

fail_compilation/constraints_func2.d(96): Error: none of the overloads of template `imports.constraints.test15` are callable using argument types `!()(int)` | |

fail_compilation/imports/constraints.d(25): Candidate is: `test15(T)(T v)` | |

with `T = int` | |

must satisfy one of the following constraints: | |

` !P!T | |

!P!T` | |

fail_compilation/constraints_func2.d(97): Error: none of the overloads of template `imports.constraints.test16` are callable using argument types `!()(int)` | |

fail_compilation/imports/constraints.d(26): Candidate is: `test16(T)(T v)` | |

with `T = int` | |

must satisfy one of the following constraints: | |

` N!T | |

N!T` | |

fail_compilation/constraints_func2.d(98): Error: none of the overloads of template `imports.constraints.test17` are callable using argument types `!()(int)` | |

fail_compilation/imports/constraints.d(27): Candidate is: `test17(T)(T v)` | |

with `T = int` | |

must satisfy the following constraint: | |

` N!T` | |

fail_compilation/constraints_func2.d(99): Error: none of the overloads of template `imports.constraints.test18` are callable using argument types `!()(int)` | |

fail_compilation/imports/constraints.d(28): Candidate is: `test18(T)(T v)` | |

with `T = int` | |

must satisfy one of the following constraints: | |

` N!T | |

N!T` | |

fail_compilation/constraints_func2.d(100): Error: none of the overloads of template `imports.constraints.test19` are callable using argument types `!()(int)` | |

fail_compilation/imports/constraints.d(29): Candidate is: `test19(T)(T v)` | |

with `T = int` | |

must satisfy one of the following constraints: | |

` N!T | |

!P!T | |

N!T` | |

fail_compilation/constraints_func2.d(101): Error: none of the overloads of template `imports.constraints.test20` are callable using argument types `!()(int)` | |

fail_compilation/imports/constraints.d(30): Candidate is: `test20(T)(T v)` | |

with `T = int` | |

must satisfy the following constraint: | |

` N!T` | |

fail_compilation/constraints_func2.d(102): Error: none of the overloads of template `imports.constraints.test21` are callable using argument types `!()(int)` | |

fail_compilation/imports/constraints.d(31): Candidate is: `test21(T)(T v)` | |

with `T = int` | |

must satisfy one of the following constraints: | |

` N!T | |

N!T` | |

fail_compilation/constraints_func2.d(103): Error: none of the overloads of template `imports.constraints.test22` are callable using argument types `!()(int)` | |

fail_compilation/imports/constraints.d(32): Candidate is: `test22(T)(T v)` | |

with `T = int` | |

must satisfy one of the following constraints: | |

` !P!T | |

!P!T` | |

fail_compilation/constraints_func2.d(104): Error: none of the overloads of template `imports.constraints.test23` are callable using argument types `!()(int)` | |

fail_compilation/imports/constraints.d(33): Candidate is: `test23(T)(T v)` | |

with `T = int` | |

must satisfy one of the following constraints: | |

` !P!T | |

N!T | |

!P!T` | |

fail_compilation/constraints_func2.d(105): Error: none of the overloads of template `imports.constraints.test24` are callable using argument types `!()(int)` | |

fail_compilation/imports/constraints.d(34): Candidate is: `test24(R)(R r)` | |

with `R = int` | |

must satisfy the following constraint: | |

` __traits(hasMember, R, "stuff")` | |

fail_compilation/constraints_func2.d(106): Error: none of the overloads of template `imports.constraints.test25` are callable using argument types `!()(int)` | |

fail_compilation/imports/constraints.d(35): Candidate is: `test25(T)(T v)` | |

with `T = int` | |

must satisfy the following constraint: | |

` N!T` | |

fail_compilation/constraints_func2.d(107): Error: none of the overloads of template `imports.constraints.test26` are callable using argument types `!(float)(int)` | |

fail_compilation/imports/constraints.d(36): Candidate is: `test26(T, U)(U u)` | |

with `T = float, | |

U = int` | |

must satisfy the following constraint: | |

` N!U` | |

--- | |

*/ | |

void main() | |

{ | |

import imports.constraints; | |

test13(0); | |

test14(0); | |

test15(0); | |

test16(0); | |

test17(0); | |

test18(0); | |

test19(0); | |

test20(0); | |

test21(0); | |

test22(0); | |

test23(0); | |

test24(0); | |

test25(0); | |

test26!float(5); | |

} |