gcc/testsuite/gdc.test/compilable/test20417.d

// https://issues.dlang.org/show_bug.cgi?id=20417

struct A { ~this(); }
void f(A, int);
A a();
int i();

static assert(__traits(compiles, { f(a, i); }));
static assert(__traits(compiles, f(a, i)));

static assert(is(typeof({ f(a, i); })));
static assert(is(typeof(f(a, i))));