// RUN: rm -rf %t
// RUN: %clang_cc1 -x objective-c -Rmodule-include-translation -fmodules-cache-path=%t -fmodules -fimplicit-module-maps -F %S/Inputs %s -verify
// expected-no-diagnostics

@import Module.Sub;

void test_Module_Sub(void) {
  int *ip = Module_Sub;
}

@import Module.Buried.Treasure;

void dig(void) {
  unsigned *up = Buried_Treasure;
}

