Skip to content

Commit ec967ea

Browse files
meg-guptameg-gupta
committed
Promote Nonescapable types to a language feature
1 parent ef601fd commit ec967ea

File tree

15 files changed

+4
-195
lines changed

15 files changed

+4
-195
lines changed

‎Runtimes/Core/core/CMakeLists.txt

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -273,7 +273,6 @@ target_compile_options(swiftCore PRIVATE
273273
"$<$<COMPILE_LANGUAGE:Swift>:SHELL:-enable-experimental-feature SuppressedAssociatedTypes>"
274274
"$<$<COMPILE_LANGUAGE:Swift>:SHELL:-enable-experimental-feature SE427NoInferenceOnExtension>"
275275
"$<$<COMPILE_LANGUAGE:Swift>:SHELL:-enable-experimental-feature AllowUnsafeAttribute>"
276-
"$<$<COMPILE_LANGUAGE:Swift>:SHELL:-enable-experimental-feature NonescapableTypes>"
277276
"$<$<COMPILE_LANGUAGE:Swift>:SHELL:-enable-experimental-feature MemberImportVisibility>"
278277
"$<$<COMPILE_LANGUAGE:Swift>:SHELL:-enable-experimental-feature TypedThrows>"
279278
"$<$<COMPILE_LANGUAGE:Swift>:SHELL:-enable-experimental-feature Macros>"

‎include/swift/AST/DiagnosticsSema.def

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -7784,9 +7784,6 @@ NOTE(note_inverse_preventing_conformance,none,
77847784
NOTE(note_inverse_preventing_conformance_explicit,none,
77857785
"%kind0 has '~%1' constraint preventing '%1' conformance",
77867786
(const ValueDecl *, StringRef))
7787-
ERROR(escapable_requires_feature_flag,none,
7788-
"type 'Escapable' requires -enable-experimental-feature NonescapableTypes",
7789-
())
77907787
ERROR(non_bitwise_copyable_type_class,none,
77917788
"class cannot conform to 'BitwiseCopyable'", ())
77927789
ERROR(non_bitwise_copyable_type_indirect_enum,none,
@@ -7910,9 +7907,6 @@ ERROR(noncopyable_cannot_have_read_set_accessor,none,
79107907
"noncopyable %select{variable|subscript}0 cannot provide a read and set accessor",
79117908
(unsigned))
79127909

7913-
ERROR(nonescapable_types_attr_disabled,none,
7914-
"attribute requires '-enable-experimental-feature NonescapableTypes'", ())
7915-
79167910
ERROR(span_requires_feature_flag,none,
79177911
"'%0' requires -enable-experimental-feature Span",
79187912
(StringRef))

‎include/swift/AST/PrintOptions.h

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -397,9 +397,6 @@ struct PrintOptions {
397397
/// Replace BitwiseCopyable with _BitwiseCopyable.
398398
bool SuppressBitwiseCopyable = false;
399399

400-
/// Suppress ~Escapable types and lifetime dependence annotations
401-
bool SuppressNonEscapableTypes = false;
402-
403400
/// Suppress modify/read accessors.
404401
bool SuppressCoroutineAccessors = false;
405402

‎include/swift/Basic/Features.def

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -202,6 +202,7 @@ BASELINE_LANGUAGE_FEATURE(BorrowingSwitch, 432, "Noncopyable type pattern matchi
202202
CONDITIONALLY_SUPPRESSIBLE_LANGUAGE_FEATURE(IsolatedAny, 431, "@isolated(any) function types")
203203
LANGUAGE_FEATURE(IsolatedAny2, 431, "@isolated(any) function types")
204204
LANGUAGE_FEATURE(ObjCImplementation, 436, "@objc @implementation extensions")
205+
LANGUAGE_FEATURE(NonescapableTypes, 446, "Nonescapable types")
205206

206207
// Swift 6
207208
UPCOMING_FEATURE(ConciseMagicFile, 274, 6)
@@ -354,9 +355,6 @@ EXPERIMENTAL_FEATURE(SuppressedAssociatedTypes, true)
354355
/// Allow destructuring stored `let` bindings in structs.
355356
EXPERIMENTAL_FEATURE(StructLetDestructuring, true)
356357

357-
/// Enable non-escapable types.
358-
SUPPRESSIBLE_EXPERIMENTAL_FEATURE(NonescapableTypes, true)
359-
360358
/// Enable returning non-escapable types from functions.
361359
EXPERIMENTAL_FEATURE(LifetimeDependence, true)
362360

‎lib/AST/ASTPrinter.cpp

Lines changed: 0 additions & 35 deletions
Original file line numberDiff line numberDiff line change
@@ -2000,11 +2000,6 @@ void PrintAST::printSingleDepthOfGenericSignature(
20002000
if (dependsOnOpaque(inverse.subject))
20012001
continue;
20022002

2003-
if (inverse.getKind() == InvertibleProtocolKind::Escapable &&
2004-
Options.SuppressNonEscapableTypes) {
2005-
continue;
2006-
}
2007-
20082003
if (isFirstReq) {
20092004
if (printRequirements)
20102005
Printer << " " << tok::kw_where << " ";
@@ -3140,16 +3135,6 @@ suppressingFeatureAllowUnsafeAttribute(PrintOptions &options,
31403135
options.ExcludeAttrList.resize(originalExcludeAttrCount);
31413136
}
31423137

3143-
static void
3144-
suppressingFeatureNonescapableTypes(PrintOptions &options,
3145-
llvm::function_ref<void()> action) {
3146-
unsigned originalExcludeAttrCount = options.ExcludeAttrList.size();
3147-
options.ExcludeAttrList.push_back(DeclAttrKind::Lifetime);
3148-
llvm::SaveAndRestore<bool> scope(options.SuppressNonEscapableTypes, true);
3149-
action();
3150-
options.ExcludeAttrList.resize(originalExcludeAttrCount);
3151-
}
3152-
31533138
static void
31543139
suppressingFeatureCoroutineAccessors(PrintOptions &options,
31553140
llvm::function_ref<void()> action) {
@@ -7862,26 +7847,6 @@ swift::getInheritedForPrinting(
78627847
}
78637848
continue;
78647849
}
7865-
7866-
// Suppress Escapable and ~Escapable.
7867-
if (options.SuppressNonEscapableTypes) {
7868-
if (auto pct = ty->getAs<ProtocolCompositionType>()) {
7869-
auto inverses = pct->getInverses();
7870-
if (inverses.contains(InvertibleProtocolKind::Escapable)) {
7871-
inverses.remove(InvertibleProtocolKind::Escapable);
7872-
ty = ProtocolCompositionType::get(decl->getASTContext(),
7873-
pct->getMembers(), inverses,
7874-
pct->hasExplicitAnyObject());
7875-
if (ty->isAny())
7876-
continue;
7877-
}
7878-
}
7879-
7880-
if (auto protoTy = ty->getAs<ProtocolType>())
7881-
if (protoTy->getDecl()->isSpecificProtocol(
7882-
KnownProtocolKind::Escapable))
7883-
continue;
7884-
}
78857850
}
78867851

78877852
if (options.SuppressConformanceSuppression &&

‎lib/ClangImporter/ImportDecl.cpp

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2185,8 +2185,7 @@ namespace {
21852185
MoveOnlyAttr(/*Implicit=*/true));
21862186
}
21872187

2188-
if (Impl.SwiftContext.LangOpts.hasFeature(Feature::NonescapableTypes) &&
2189-
importer::hasNonEscapableAttr(decl)) {
2188+
if (importer::hasNonEscapableAttr(decl)) {
21902189
result->getAttrs().add(new (Impl.SwiftContext)
21912190
NonEscapableAttr(/*Implicit=*/true));
21922191
}

‎lib/Sema/TypeCheckAttr.cpp

Lines changed: 2 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -7693,18 +7693,10 @@ void AttributeChecker::visitRawLayoutAttr(RawLayoutAttr *attr) {
76937693
sd->setHasUnreferenceableStorage(true);
76947694
}
76957695

7696-
void AttributeChecker::visitNonEscapableAttr(NonEscapableAttr *attr) {
7697-
if (!Ctx.LangOpts.hasFeature(Feature::NonescapableTypes)) {
7698-
diagnoseAndRemoveAttr(attr, diag::nonescapable_types_attr_disabled);
7699-
}
7700-
}
7696+
void AttributeChecker::visitNonEscapableAttr(NonEscapableAttr *attr) {}
77017697

77027698
void AttributeChecker::visitUnsafeNonEscapableResultAttr(
7703-
UnsafeNonEscapableResultAttr *attr) {
7704-
if (!Ctx.LangOpts.hasFeature(Feature::NonescapableTypes)) {
7705-
diagnoseAndRemoveAttr(attr, diag::nonescapable_types_attr_disabled);
7706-
}
7707-
}
7699+
UnsafeNonEscapableResultAttr *attr) {}
77087700

77097701
void AttributeChecker::visitStaticExclusiveOnlyAttr(
77107702
StaticExclusiveOnlyAttr *attr) {

‎lib/Sema/TypeCheckDeclPrimary.cpp

Lines changed: 0 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -125,13 +125,6 @@ class CheckRepressions {
125125
}
126126
auto ipk = getInvertibleProtocolKind(*kp);
127127
if (ipk) {
128-
// Gate the '~Escapable' type behind a specific flag for now.
129-
// Uses of 'Escapable' itself are already diagnosed; return ErrorType.
130-
if (*ipk == InvertibleProtocolKind::Escapable &&
131-
!ctx.LangOpts.hasFeature(Feature::NonescapableTypes)) {
132-
return ErrorType::get(ctx);
133-
}
134-
135128
return ProtocolCompositionType::getInverseOf(ctx, *ipk);
136129
}
137130
auto rpk = getRepressibleProtocolKind(*kp);

‎lib/Sema/TypeCheckType.cpp

Lines changed: 0 additions & 24 deletions
Original file line numberDiff line numberDiff line change
@@ -4963,22 +4963,6 @@ TypeResolver::resolveDeclRefTypeRepr(DeclRefTypeRepr *repr,
49634963
auto *dc = getDeclContext();
49644964
auto &ctx = getASTContext();
49654965

4966-
// Gate the 'Escapable' type behind a specific flag for now.
4967-
//
4968-
// NOTE: we do not return an ErrorType, though! We're just artificially
4969-
// preventing people from referring to the type without the feature.
4970-
if (auto proto = result->getAs<ProtocolType>()) {
4971-
if (auto known = proto->getKnownProtocol()) {
4972-
if (*known == KnownProtocolKind::Escapable
4973-
&& !isSILSourceFile()
4974-
&& !isInterfaceFile()
4975-
&& !ctx.LangOpts.hasFeature(Feature::NonescapableTypes)) {
4976-
diagnoseInvalid(repr, repr->getLoc(),
4977-
diag::escapable_requires_feature_flag);
4978-
}
4979-
}
4980-
}
4981-
49824966
if (ctx.LangOpts.hasFeature(Feature::ImplicitSome) &&
49834967
options.isConstraintImplicitExistential()) {
49844968
// Check whether this type is an implicit opaque result type.
@@ -5995,14 +5979,6 @@ NeverNullType TypeResolver::resolveInverseType(InverseTypeRepr *repr,
59955979

59965980
if (auto kp = ty->getKnownProtocol()) {
59975981
if (auto kind = getInvertibleProtocolKind(*kp)) {
5998-
5999-
// Gate the '~Escapable' type behind a specific flag for now.
6000-
// Uses of 'Escapable' itself are already diagnosed; return ErrorType.
6001-
if (*kind == InvertibleProtocolKind::Escapable &&
6002-
!getASTContext().LangOpts.hasFeature(Feature::NonescapableTypes)) {
6003-
return wrapInExistential(ErrorType::get(getASTContext()));
6004-
}
6005-
60065982
return wrapInExistential(
60075983
ProtocolCompositionType::getInverseOf(getASTContext(), *kind));
60085984
}

‎stdlib/cmake/modules/SwiftSource.cmake

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -635,7 +635,6 @@ function(_compile_swift_files
635635
list(APPEND swift_flags "-enable-experimental-feature" "AllowUnsafeAttribute")
636636

637637
list(APPEND swift_flags "-enable-experimental-feature" "NonescapableTypes")
638-
639638
list(APPEND swift_flags "-enable-experimental-feature" "LifetimeDependence")
640639

641640
list(APPEND swift_flags "-enable-experimental-feature" "ExtensionImportVisiblity")

‎stdlib/public/core/Misc.swift

Lines changed: 0 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -234,19 +234,11 @@ func _rethrowsViaClosure(_ fn: () throws -> ()) rethrows {
234234
@_marker public protocol Escapable {}
235235

236236
#if $BitwiseCopyable2
237-
#if $NonescapableTypes
238237
@_marker public protocol BitwiseCopyable: ~Escapable { }
239-
#else
240-
@_marker public protocol BitwiseCopyable { }
241-
#endif
242238

243239
@available(*, deprecated, message: "Use BitwiseCopyable")
244240
public typealias _BitwiseCopyable = BitwiseCopyable
245241
#else
246-
#if $NonescapableTypes
247242
@_marker public protocol _BitwiseCopyable: ~Escapable { }
248-
#else
249-
@_marker public protocol _BitwiseCopyable { }
250-
#endif
251243
public typealias BitwiseCopyable = _BitwiseCopyable
252244
#endif

‎stdlib/public/core/Sendable.swift

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -132,11 +132,7 @@
132132
/// ### Sendable Metatypes
133133
///
134134
/// Metatypes such as `Int.Type` implicitly conform to the `Sendable` protocol.
135-
#if $NonescapableTypes
136135
@_marker public protocol Sendable: ~Copyable, ~Escapable { }
137-
#else
138-
@_marker public protocol Sendable: ~Copyable { }
139-
#endif
140136

141137
///
142138
/// A type whose values can safely be passed across concurrency domains by copying,

0 commit comments

Comments
 (0)