// COMPILE_SEPARATELY:
// EXTRA_SOURCES: imports/a11447.d
// PERMUTE_ARGS: -allinst

import imports.a11447;

void main()
{
    A a;
    TTT.yyy(a);
}