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

   1 /*
   2 TEST_OUTPUT:
   3 ---
   4 fail_compilation/diag14145.d(16): Error: no property `i` for `_` of type `diag14145.main.Capture!(i)`
   5 fail_compilation/diag14145.d(16):        potentially malformed `opDispatch`. Use an explicit instantiation to get a better error message
   6 fail_compilation/diag14145.d(26):        struct `Capture` defined here
   7 fail_compilation/diag14145.d(35): Error: expression `*this.ptr` of type `shared(int)` is not implicitly convertible to return type `ref int`
   8 fail_compilation/diag14145.d(17): Error: template instance `diag14145.main.Capture!(i).Capture.opDispatch!"i"` error instantiating
   9 ---
  10 */
  11
  12 int main()
  13 {
  14     int i;
  15     auto _ = capture!i;
  16     _.i;
  17     _.opDispatch!"i";
  18     return 0;
  19 }
  20
  21 auto capture(alias c)()
  22 {
  23     return Capture!c(c);
  24 }
  25
  26 struct Capture(alias c)
  27 {
  28     shared typeof(c)* ptr;
  29     this(ref typeof(c) _c)
  30     {
  31         ptr = cast(shared)&c;
  32     }
  33     ref shared typeof(c) opDispatch(string s)()
  34     {
  35         return *ptr;
  36     }
  37 }