Skip to content

[Docs] Fix typo in GenericsManifesto.md. #17453

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Jul 19, 2018
Merged

[Docs] Fix typo in GenericsManifesto.md. #17453

Changes from all commits
Commits
Show all changes
3 commits
Select commit Hold shift + click to select a range
b3f8147
[Docs] Fix typo in GenericsManifesto.md.
dan-zheng Jun 23, 2018
2dc279f
[Docs] Minor edits to GenericsManifesto.md.
dan-zheng Jul 18, 2018
0f430e5
Merge branch 'master' into generics-manifesto-typo
dan-zheng Jul 18, 2018
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions docs/GenericsManifesto.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -757,9 +757,9 @@ if e1 == e2 { ... } // error: e1 and e2 don't necessarily have the same dynamic
One explicit way to allow such operations in a type-safe manner is to introduce an "open existential" operation of some sort, which extracts and gives a name to the dynamic type stored inside an existential. For example:

```Swift
if let storedInE1 = e1 openas T { // T is a the type of storedInE1, a copy of the value stored in e1
if let storedInE2 = e2 as? T { // is e2 also a T?
if storedInE1 == storedInE2 { ... } // okay: storedInT1 and storedInE2 are both of type T, which we know is Equatable
if let storedInE1 = e1 openas T { // T is the type of storedInE1, a copy of the value stored in e1
if let storedInE2 = e2 as? T { // Does e2 have type T? If so, copy its value to storedInE2
if storedInE1 == storedInE2 { ... } // Okay: storedInT1 and storedInE2 are both of type T, which we know is Equatable
}
}
```