Skip to content

Commit ef01137

Browse files
committed
[SE-0143] Fix code/prose mismatch spotted by Alex Martini.
1 parent 4702aa2 commit ef01137

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

proposals/0143-conditional-conformances.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -281,9 +281,9 @@ extension Y: S where T: S { }
281281
```
282282

283283
The conformances of `Y: R` and `Y: S` both imply the conformance
284-
`X: P`. Note that the constraints `T: R` are less specialized (more
284+
`Y: P`. Note that the constraints `T: R` are less specialized (more
285285
general) than the constraints `T: S`, because every `S` is also an
286-
`R`. Therefore, `X` will conform to `P` when `T: S`, e.g.:
286+
`R`. Therefore, `Y` will conform to `P` when `T: S`, e.g.:
287287

288288
```swift
289289
/// compiler produces the following implied inherited conformance:

0 commit comments

Comments
 (0)