package foo:foo; world has-inline { import foo: interface { } export bar: interface { } }