gcc/testsuite/gdc.test/fail_compilation/constraints_func2.d

   1 /*
   2 EXTRA_FILES: imports/constraints.d
   3 TEST_OUTPUT:
   4 ---
   5 fail_compilation/constraints_func2.d(94): Error: template `test13` is not callable using argument types `!()(int)`
   6 fail_compilation/imports/constraints.d(23):        Candidate is: `test13(T)(T v)`
   7   with `T = int`
   8   must satisfy one of the following constraints:
   9 `       N!T
  10        !P!T`
  11 fail_compilation/constraints_func2.d(95): Error: template `test14` is not callable using argument types `!()(int)`
  12 fail_compilation/imports/constraints.d(24):        Candidate is: `test14(T)(T v)`
  13   with `T = int`
  14   must satisfy one of the following constraints:
  15 `       !P!T
  16        N!T`
  17 fail_compilation/constraints_func2.d(96): Error: template `test15` is not callable using argument types `!()(int)`
  18 fail_compilation/imports/constraints.d(25):        Candidate is: `test15(T)(T v)`
  19   with `T = int`
  20   must satisfy one of the following constraints:
  21 `       !P!T
  22        !P!T`
  23 fail_compilation/constraints_func2.d(97): Error: template `test16` is not callable using argument types `!()(int)`
  24 fail_compilation/imports/constraints.d(26):        Candidate is: `test16(T)(T v)`
  25   with `T = int`
  26   must satisfy one of the following constraints:
  27 `       N!T
  28        N!T`
  29 fail_compilation/constraints_func2.d(98): Error: template `test17` is not callable using argument types `!()(int)`
  30 fail_compilation/imports/constraints.d(27):        Candidate is: `test17(T)(T v)`
  31   with `T = int`
  32   must satisfy the following constraint:
  33 `       N!T`
  34 fail_compilation/constraints_func2.d(99): Error: template `test18` is not callable using argument types `!()(int)`
  35 fail_compilation/imports/constraints.d(28):        Candidate is: `test18(T)(T v)`
  36   with `T = int`
  37   must satisfy one of the following constraints:
  38 `       N!T
  39        N!T`
  40 fail_compilation/constraints_func2.d(100): Error: template `test19` is not callable using argument types `!()(int)`
  41 fail_compilation/imports/constraints.d(29):        Candidate is: `test19(T)(T v)`
  42   with `T = int`
  43   must satisfy one of the following constraints:
  44 `       N!T
  45        !P!T
  46        N!T`
  47 fail_compilation/constraints_func2.d(101): Error: template `test20` is not callable using argument types `!()(int)`
  48 fail_compilation/imports/constraints.d(30):        Candidate is: `test20(T)(T v)`
  49   with `T = int`
  50   must satisfy the following constraint:
  51 `       N!T`
  52 fail_compilation/constraints_func2.d(102): Error: template `test21` is not callable using argument types `!()(int)`
  53 fail_compilation/imports/constraints.d(31):        Candidate is: `test21(T)(T v)`
  54   with `T = int`
  55   must satisfy one of the following constraints:
  56 `       N!T
  57        N!T`
  58 fail_compilation/constraints_func2.d(103): Error: template `test22` is not callable using argument types `!()(int)`
  59 fail_compilation/imports/constraints.d(32):        Candidate is: `test22(T)(T v)`
  60   with `T = int`
  61   must satisfy one of the following constraints:
  62 `       !P!T
  63        !P!T`
  64 fail_compilation/constraints_func2.d(104): Error: template `test23` is not callable using argument types `!()(int)`
  65 fail_compilation/imports/constraints.d(33):        Candidate is: `test23(T)(T v)`
  66   with `T = int`
  67   must satisfy one of the following constraints:
  68 `       !P!T
  69        N!T
  70        !P!T`
  71 fail_compilation/constraints_func2.d(105): Error: template `test24` is not callable using argument types `!()(int)`
  72 fail_compilation/imports/constraints.d(34):        Candidate is: `test24(R)(R r)`
  73   with `R = int`
  74   must satisfy the following constraint:
  75 `       __traits(hasMember, R, "stuff")`
  76 fail_compilation/constraints_func2.d(106): Error: template `test25` is not callable using argument types `!()(int)`
  77 fail_compilation/imports/constraints.d(35):        Candidate is: `test25(T)(T v)`
  78   with `T = int`
  79   must satisfy the following constraint:
  80 `       N!T`
  81 fail_compilation/constraints_func2.d(107): Error: template `test26` is not callable using argument types `!(float)(int)`
  82 fail_compilation/imports/constraints.d(36):        Candidate is: `test26(T, U)(U u)`
  83   with `T = float,
  84        U = int`
  85   must satisfy the following constraint:
  86 `       N!U`
  87 ---
  88 */
  89
  90 void main()
  91 {
  92     import imports.constraints;
  93
  94     test13(0);
  95     test14(0);
  96     test15(0);
  97     test16(0);
  98     test17(0);
  99     test18(0);
 100     test19(0);
 101     test20(0);
 102     test21(0);
 103     test22(0);
 104     test23(0);
 105     test24(0);
 106     test25(0);
 107     test26!float(5);
 108 }