Skip to content

Commit 9d84a58

Browse files
authored
Merge pull request #2191 from twof/patch-1
Update parameter pack syntax in proposal to match implemented syntax
2 parents 86c7e6a + f9c09d4 commit 9d84a58

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

proposals/0398-variadic-types.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -111,9 +111,9 @@ If the generic parameter list of a variadic type consists of a single generic pa
111111
```swift
112112
struct V<each T> {}
113113

114-
V<>.self
114+
V< >.self
115115
```
116-
Note that `V<>` is not the same as `V`. The former substitutes the generic parameter pack `T` with the empty pack. The latter does not constrain the pack at all and is only permitted in contexts where the generic argument can be inferred (or within the body of `V` or an extension thereof, where it is considered identical to `Self`).
116+
Note that `V< >` is not the same as `V`. The former substitutes the generic parameter pack `T` with the empty pack. The latter does not constrain the pack at all and is only permitted in contexts where the generic argument can be inferred (or within the body of `V` or an extension thereof, where it is considered identical to `Self`).
117117

118118
A placeholder type in the generic argument list of a variadic generic type is always understood as a single pack element. For example:
119119

0 commit comments

Comments
 (0)