Skip to content

Commit db2341a

Browse files
hborlaDougGregor
authored andcommitted
[ChangeLog] Add an entry for SE-0335.
(cherry picked from commit e962742)
1 parent 033f67a commit db2341a

File tree

1 file changed

+19
-0
lines changed

1 file changed

+19
-0
lines changed

CHANGELOG.md

Lines changed: 19 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,24 @@ _**Note:** This is in reverse chronological order, so newer entries are added to
66
Swift 5.6
77
---------
88

9+
* [SE-0335][]:
10+
11+
Swift now allows existential types to be explicitly written with the `any`
12+
keyword, creating a syntactic distinction between existential types and
13+
protocol conformance constraints. For example:
14+
15+
```swift
16+
protocol P {}
17+
18+
func generic<T>(value: T) where T: P {
19+
...
20+
}
21+
22+
func existential(value: any P) {
23+
...
24+
}
25+
```
26+
927
* [SE-0337][]:
1028

1129
Swift now provides an incremental migration path to data race safety, allowing
@@ -8852,6 +8870,7 @@ Swift 1.0
88528870
[SE-0323]: <https://github.com/apple/swift-evolution/blob/main/proposals/0323-async-main-semantics.md>
88538871
[SE-0331]: <https://github.com/apple/swift-evolution/blob/main/proposals/0331-remove-sendable-from-unsafepointer.md>
88548872
[SE-0337]: <https://github.com/apple/swift-evolution/blob/main/proposals/0337-support-incremental-migration-to-concurrency-checking.md>
8873+
[SE-0335]: <https://github.com/apple/swift-evolution/blob/main/proposals/0335-existential-any.md>
88558874

88568875
[SR-75]: <https://bugs.swift.org/browse/SR-75>
88578876
[SR-106]: <https://bugs.swift.org/browse/SR-106>

0 commit comments

Comments
 (0)