// first imported as package
// COMPILED_IMPORTS: imports/pkgmod313/mod.d
// EXTRA_FILES: imports/pkgmod313/package.d
// REQUIRED_ARGS: -de
import imports.pkgmod313; // then as package module

void test()
{
    imports.pkgmod313.foo();
}