// RUN: %target-typecheck-verify-swift -enable-objc-interop -F %S/Inputs/mock-sdk

import Foo
// Don't import 'FooHelper'.

func test1() {
  _ = Foo.FooEnum1X
  _ = Foo.FooSubEnum1X

  // Even though 'FooHelper' is a separate module, because 'Foo' re-exports it,
  // we allow qualifying members of 'FooHelper' with 'Foo'.
  // If this changes, code completion needs to change.
  _ = Foo.FooHelperSubEnum1X
}