Joe Groff
de687db20f
Disallow consuming self in a noncopyable deinit again.
...
The changes to allow for partial consumption unintentionally also allowed for
`self` to be consumed as a whole during `deinit`, which we don't yet want to
allow because it could lead to accidental "resurrection" and/or accidental
infinite recursion if the consuming method lets `deinit` be implicitly run
again. This makes it an error again. The experimental feature
`ConsumeSelfInDeinit` will allow it for test coverage or experimentation
purposes. rdar://132761460
2024-07-29 21:20:14 -07:00
Kavon Farvardin
972373b129
NCGenerics: begin process of removing compat hack
...
The reverse-condfail workaround needs to be removed, and this is the
first step to allowing the stdlib to build with conditionally escapable
types.
resolves rdar://132453000
2024-07-29 17:27:17 -07:00
Mateus Rodrigues
e0d416cdab
Ungate accepted parts of SE439
2024-07-22 09:55:16 -03:00
Joe Groff
51829c17bf
@_extern is an experimental feature.
...
Mark it as such. rdar://132013078
2024-07-18 11:46:16 -07:00
Holly Borla
dbda2738a6
[Features] Gate same-element requirements behind an experimental feature flag.
2024-07-15 10:19:32 -07:00
Kavon Farvardin
4529f3b295
Merge pull request #75183 from kavon/remove-reverse-condfail-workaround
...
NCGenerics: remove the reverse-condfail workaround
2024-07-12 09:39:12 -07:00
Kavon Farvardin
5b2f2cbfcf
NCGenerics: remove the reverse-condfail workaround
...
This should no longer be needed, after having staged the first set of
changes in, as it was a temporary workaround.
resolves rdar://131560183
2024-07-11 14:30:27 -07:00
Mykola Pokhylets
816d62c972
Merge remote-tracking branch 'upstream/main' into mpokhylets/isolated-deinit
...
# Conflicts:
# include/swift/Basic/Features.def
# lib/SILGen/SILGenDestructor.cpp
# test/Concurrency/flow_isolation.swift
# test/abi/macOS/arm64/concurrency.swift
# test/abi/macOS/x86_64/concurrency.swift
2024-07-11 13:11:59 +02:00
Mykola Pokhylets
2cb7e8d7b8
Implemented suppressing isolated deinit for compatibility with older compiler versions
2024-07-11 13:09:08 +02:00
Allan Shortlidge
d944488a86
AST: Promote NewCxxMethodSafetyHeuristics feature to baseline.
2024-07-09 14:29:31 -07:00
Allan Shortlidge
aab4f1051c
AST: Promote BodyMacros feature to baseline.
2024-07-09 14:29:30 -07:00
Allan Shortlidge
0ba007661a
AST: Promote BuiltinAddressOfRawLayout to baseline.
2024-07-09 14:29:30 -07:00
Allan Shortlidge
45f3e94b46
AST: Promote AssociatedTypeImplements feature to baseline.
2024-07-09 14:28:30 -07:00
Allan Shortlidge
b71e73d04c
AST: Promote RetroactiveAttribute feature to baseline.
2024-07-09 14:28:29 -07:00
Allan Shortlidge
e7ae787516
AST: Promote ConformanceSuppression feature to baseline.
2024-07-09 14:28:29 -07:00
Allan Shortlidge
b46f23b502
AST: Promote BitwiseCopyable feature to baseline.
2024-07-09 14:28:29 -07:00
Allan Shortlidge
b85da32707
AST: Promote OptionalIsolatedParameters feature to baseline.
2024-07-09 14:28:29 -07:00
Allan Shortlidge
b39637159c
AST: Promote RethrowsProtocol feature to baseline.
2024-07-09 14:28:29 -07:00
Allan Shortlidge
8093783e21
AST: Promote ExtensionMacroAttr feature to baseline.
2024-07-09 14:28:29 -07:00
Allan Shortlidge
99dbbe4a12
AST: Promote BuiltinStoreRaw feature to baseline.
2024-07-09 14:28:29 -07:00
Allan Shortlidge
8dad141136
AST: Promote Extern feature to baseline.
2024-07-09 14:28:29 -07:00
Allan Shortlidge
365d26e323
AST: Promote ExpressionMacroDefaultArguments feature to baseline.
2024-07-09 14:28:29 -07:00
Allan Shortlidge
ec13858479
AST: Promote BorrowingSwitch feature to baseline.
2024-07-09 14:28:29 -07:00
Allan Shortlidge
731d91f590
AST: Promote TypedThrows features to the baseline.
2024-07-09 14:28:29 -07:00
Allan Shortlidge
9717961202
AST: Promote BuiltinAllocVector feature to baseline.
2024-07-09 14:28:29 -07:00
Allan Shortlidge
ab99cac77d
AST: Promote BuiltinUnprotectedStackAlloc feature to baseline.
2024-07-09 14:28:28 -07:00
Allan Shortlidge
53451caf49
AST: Promote LexicalLifetimes feature to baseline.
2024-07-09 14:28:28 -07:00
Allan Shortlidge
5fb8082cc2
AST: Promote various move-only features to the baseline.
2024-07-09 14:28:28 -07:00
Allan Shortlidge
e1082bb8be
AST: Promote various macro features to baseline.
2024-07-09 14:28:28 -07:00
Allan Shortlidge
b517a44528
AST: Promote ParameterPacks feature to the baseline.
2024-07-09 14:28:28 -07:00
Allan Shortlidge
6b9b7bcd83
AST: Promote PrimaryAssociatedTypes2 feature to the baseline.
2024-07-09 14:28:28 -07:00
Allan Shortlidge
b5acc6b07d
AST: Promote AsyncSequenceFailure feature to the baseline.
2024-07-09 14:28:28 -07:00
Allan Shortlidge
6f972fc275
AST: Promote AssociatedTypeAvailability feature to the baseline.
2024-07-09 14:28:28 -07:00
Allan Shortlidge
9e5a9b963f
AST: Remove NoncopyableGenerics feature suppression.
...
It is no longer necessary to produce `.swiftinterface` files the support older
compilers that lack support for the NoncopyableGenerics feature. Cleaning this
up makes the stdlib `.swiftinterface` far more readable.
2024-07-08 17:44:24 -07:00
Konrad `ktoso` Malawski
9ee719dbcd
Prevent potential for condfail with owned task executor parameter
...
While the new parameter is added in a compatible way where code which
does not refer to it will get a defaulted nil value; since we refer to a
new parameter name in source, we need to guard it with a language
feature -- as old compilers will not have this new name available.
This should prevent a potential condfail issue.
2024-07-03 10:36:47 -07:00
Allan Shortlidge
ee8a1152b2
Concurrency: Promote BuiltinCreateTask feature to baseline.
2024-07-02 22:26:55 -07:00
Allan Shortlidge
7e181d17e5
Concurrency: Promote BuiltinCreateAsyncDiscardingTaskInGroupWithExecutor feature to baseline.
2024-07-02 22:26:55 -07:00
Allan Shortlidge
e5744f04d6
Concurrency: Promote BuiltinCreateAsyncDiscardingTaskInGroup feature to baseline.
2024-07-02 22:26:55 -07:00
Allan Shortlidge
a4d58671ba
Concurrency: Promote BuiltinCreateAsyncTaskInGroupWithExecutor feature to baseline.
2024-07-02 22:26:54 -07:00
Allan Shortlidge
f2519650ae
Concurrency: Promote BuiltinBuildComplexEqualityExecutor feature to baseline.
2024-07-02 22:26:54 -07:00
Allan Shortlidge
ba630c0da5
Concurrency: Promote BuiltinBuildTaskExecutorRef feature to baseline.
2024-07-02 22:26:54 -07:00
Michael Gottesman
34195ff213
Merge pull request #74610 from gottesmm/pr-324fd70c13e87a329334341aae4667f2d1be152c
...
[sending] Remove transferring.
2024-07-02 14:02:18 -07:00
Xiaodi Wu
e1f537107f
Merge branch 'main' into trailing-comma
2024-06-29 16:36:06 -04:00
Xi Ge
fb43cf6ffb
Merge pull request #74801 from beccadax/objcimpl-enablement
...
Enable @objc @implementation (SE-0436) as an ordinary language feature
2024-06-28 09:12:52 -07:00
Becca Royal-Gordon
c19aaddd8c
Enable @objc @implementation feature
2024-06-27 14:51:27 -07:00
Kavon Farvardin
1e2111afca
NCGenerics: add flag to opt-out SE-427 strictness
...
This is mainly for tests to avoid the reverse condfail.
2024-06-26 17:10:33 -07:00
Michael Gottesman
112071e57d
[sending] Remove transferring.
...
Out of an abundance of caution, we:
1. Left in parsing support for transferring but internally made it rely on the
internals of sending.
2. Added a warning to tell people that transferring was going to
be removed very soon.
Now that we have given people some time, remove support for parsing
transferring.
rdar://130253724
2024-06-21 16:03:21 -07:00
Holly Borla
4bec599931
Merge pull request #74543 from hborla/promote-isolated-any
...
[Features] Promote `IsolatedAny` and its alias to a language feature.
2024-06-19 10:32:30 -07:00
Holly Borla
966269d31a
[Features] Promote IsolatedAny and its alias to a language feature.
...
The proposal is accepted and implemented for Swift 6.0.
2024-06-18 22:09:16 -07:00
Mateus Rodrigues
013997dae7
Implement trailing comma for comma-separated lists
2024-06-18 14:01:38 -03:00
