Root unqualified lookups with module selectors at file scope

Author: beccadax

lib/AST/UnqualifiedLookup.cpp

@@ -249,8 +249,9 @@ void UnqualifiedLookupFactory::performUnqualifiedLookup() {
   }
 
   if (Loc.isValid() && DC->getParentSourceFile()) {
-    // Operator lookup is always global, for the time being.
-    if (!Name.isOperator())
+    // Operator lookup is always global, for the time being. Unqualified lookups
+    // with module selectors always start at global scope.
+    if (!Name.isOperator() && !Name.hasModuleSelector())
       lookInASTScopes();
   } else {
     assert((DC->isModuleScopeContext() || !DC->getParentSourceFile()) &&

test/NameLookup/module_selector.swift

@@ -136,6 +136,7 @@ extension C: @retroactive ModuleSelectorTestingKit::Equatable {
     if ModuleSelectorTestingKit::Bool.ModuleSelectorTestingKit::random() {
 
       ModuleSelectorTestingKit::negate()
+      // expected-error@-1 {{cannot find 'ModuleSelectorTestingKit::negate' in scope}}
     }
     else {
       self = ModuleSelectorTestingKit::C(value: .ModuleSelectorTestingKit::min)
@@ -198,11 +199,11 @@ extension D: @retroactive Swift::Equatable {
 }
 
 let mog: Never = fatalError()
+// expected-note@-1 {{did you mean 'mog'?}}
 
 func localVarsCantBeAccessedByModuleSelector() {
   let mag: Int.Swift::Magnitude = main::mag
-  // expected-error@-1 {{use of local variable 'main::mag' before its declaration}}
-  // expected-note@-2 {{'mag' declared here}}
+  // expected-error@-1 {{cannot find 'main::mag' in scope}}
 
   let mog: Never = main::mog
 }