From b371b44c4cea60170210f55b55f03b2554581799 Mon Sep 17 00:00:00 2001 From: Frederick Kellison-Linn Date: Mon, 23 Aug 2021 07:12:30 -0400 Subject: [PATCH] Add SE-0315 to the changelog (#38976) --- CHANGELOG.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 9baf3d4d4d11a..9e9f22b92ecab 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -5,6 +5,18 @@ _**Note:** This is in reverse chronological order, so newer entries are added to Swift 5.6 --------- +* [SE-0315][]: + + Type expressions and annotations can now include "type placeholders" which + directs the compiler to fill in that portion of the type according to the usual + type inference rules. Type placeholders are spelled as an underscore ("`_`") in + a type name. For instance: + + ```swift + // This is OK--the compiler can infer the key type as `Int`. + let dict: [_: String] = [0: "zero", 1: "one", 2: "two"] + ``` + * [SE-0290][]: It is now possible to write inverted availability conditions by using the new `#unavailable` keyword: @@ -8680,6 +8692,7 @@ Swift 1.0 [SE-0310]: [SE-0311]: [SE-0313]: +[SE-0315]: [SE-0316]: [SR-75]: