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

import imports.b11447;

void main()
{
    A a;
    aaa(a);
}