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

/*
TEST_OUTPUT:
---
fail_compilation/fail12744.d(38): Error: incompatible parameter storage classes `ref` and `out`
fail_compilation/fail12744.d(52): Error: template instance `fail12744.bar12744R!(foo12744O)` error instantiating
fail_compilation/fail12744.d(38): Error: incompatible parameter storage classes `ref` and `lazy`
fail_compilation/fail12744.d(53): Error: template instance `fail12744.bar12744R!(foo12744L)` error instantiating
fail_compilation/fail12744.d(39): Error: incompatible parameter storage classes `out` and `ref`
fail_compilation/fail12744.d(56): Error: template instance `fail12744.bar12744O!(foo12744R)` error instantiating
fail_compilation/fail12744.d(39): Error: incompatible parameter storage classes `out` and `lazy`
fail_compilation/fail12744.d(58): Error: template instance `fail12744.bar12744O!(foo12744L)` error instantiating
fail_compilation/fail12744.d(40): Error: incompatible parameter storage classes `lazy` and `ref`
fail_compilation/fail12744.d(61): Error: template instance `fail12744.bar12744L!(foo12744R)` error instantiating
fail_compilation/fail12744.d(40): Error: incompatible parameter storage classes `lazy` and `out`
fail_compilation/fail12744.d(62): Error: template instance `fail12744.bar12744L!(foo12744O)` error instantiating
fail_compilation/fail12744.d(41): Error: incompatible parameter storage classes `auto ref` and `out`
fail_compilation/fail12744.d(67): Error: none of the overloads of template `fail12744.bar12744A` are callable using argument types `!(foo12744O)(int)`
fail_compilation/fail12744.d(41):        Candidate is: `bar12744A(alias f)(auto ref PTT12744!f args)`
fail_compilation/fail12744.d(41): Error: incompatible parameter storage classes `auto ref` and `lazy`
fail_compilation/fail12744.d(68): Error: none of the overloads of template `fail12744.bar12744A` are callable using argument types `!(foo12744L)(int)`
fail_compilation/fail12744.d(41):        Candidate is: `bar12744A(alias f)(auto ref PTT12744!f args)`
---
*/
template PTT12744(func...)
{
    static if (is(typeof(func[0]) P == function))
        alias PTT12744 = P;
    else
        static assert(0);
}

void foo12744N(     int x) {}
void foo12744R( ref int x) {}
void foo12744O( out int x) {}
void foo12744L(lazy int x) {}

void bar12744N(alias f)(         PTT12744!f args) {}
void bar12744R(alias f)(     ref PTT12744!f args) {}
void bar12744O(alias f)(     out PTT12744!f args) {}
void bar12744L(alias f)(    lazy PTT12744!f args) {}
void bar12744A(alias f)(auto ref PTT12744!f args) {}

void main()
{
    alias bNN = bar12744N!foo12744N;
    alias bNR = bar12744N!foo12744R;
    alias bNO = bar12744N!foo12744O;
    alias bNL = bar12744N!foo12744L;

    alias bRN = bar12744R!foo12744N;
    alias bRR = bar12744R!foo12744R;
    alias bRO = bar12744R!foo12744O;    // error
    alias bRL = bar12744R!foo12744L;    // error

    alias bON = bar12744O!foo12744N;
    alias bOR = bar12744O!foo12744R;    // error
    alias bOO = bar12744O!foo12744O;
    alias bOL = bar12744O!foo12744L;    // error

    alias bLN = bar12744L!foo12744N;
    alias bLR = bar12744L!foo12744R;    // error
    alias bLO = bar12744L!foo12744O;    // error
    alias bLL = bar12744L!foo12744L;

    bar12744A!foo12744N(1);
    bar12744A!foo12744R(1);
    bar12744A!foo12744O(1);     // error
    bar12744A!foo12744L(1);     // error
}