Add experimental feature for module selector

beccadax · beccadax · commit bd29a6f8dc1d · 2025-05-12T15:22:16.000-07:00
diff --git a/include/swift/Basic/Features.def b/include/swift/Basic/Features.def
@@ -510,6 +510,9 @@ EXPERIMENTAL_FEATURE(CDecl, false)
 /// Allow use of `@extensible` on public enums
 SUPPRESSIBLE_EXPERIMENTAL_FEATURE(ExtensibleAttribute, false)
 
+/// Allow use of `Module::name` syntax
+EXPERIMENTAL_FEATURE(ModuleSelector, false)
+
 #undef EXPERIMENTAL_FEATURE_EXCLUDED_FROM_MODULE_INTERFACE
 #undef EXPERIMENTAL_FEATURE
 #undef UPCOMING_FEATURE
diff --git a/lib/AST/FeatureSet.cpp b/lib/AST/FeatureSet.cpp
@@ -126,6 +126,9 @@ UNINTERESTING_FEATURE(MacrosOnImports)
 UNINTERESTING_FEATURE(NonisolatedNonsendingByDefault)
 UNINTERESTING_FEATURE(KeyPathWithMethodMembers)
 
+// TODO: Return true for inlinable function bodies with module selectors in them
+UNINTERESTING_FEATURE(ModuleSelector)
+
 static bool usesFeatureNonescapableTypes(Decl *decl) {
   auto containsNonEscapable =
       [](SmallVectorImpl<InverseRequirement> &inverseReqs) {
diff --git a/test/NameLookup/module_selector.swift b/test/NameLookup/module_selector.swift
@@ -0,0 +1,3 @@
+// RUN: %target-typecheck-verify-swift -enable-experimental-feature ModuleSelector
+
+// REQUIRES: swift_feature_ModuleSelector

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+// RUN: %target-typecheck-verify-swift -enable-experimental-feature ModuleSelector`
	`2`	`+`
	`3`	`+// REQUIRES: swift_feature_ModuleSelector`