// EXTRA_SOURCES: imports/inc11239.d
// REQUIRED_ARGS: -debug
// COMPILE_SEPARATELY
// PERMUTE_ARGS:
import imports.inc11239;
void main()
{
foo(1);
}