Skip to content

Commit f9c09d4

Browse files
authored
Update parameter pack syntax in proposal to match implemented syntax
1 parent ea50b19 commit f9c09d4

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)