Update existential-types.md

This commit is contained in:
Oliver Schneider 2018-08-01 18:35:17 +02:00 committed by Who? Me?!
parent 9efa9f1346
commit 6533ccebba
1 changed files with 3 additions and 3 deletions

View File

@ -7,7 +7,7 @@ type.
In the language they are expressed via
```rust
```
existential type Foo: Bar;
```
@ -17,7 +17,7 @@ the `Bar` trait's interface.
Since there needs to be a concrete background type, you can currently
express that type by using the existential type in a "defining use site".
```rust
```
struct Struct;
impl Bar for Struct { /* stuff */ }
fn foo() -> Foo {
@ -45,4 +45,4 @@ of existential types to be defining use sites.
### Associated existential types
Associated existential types can be defined by any other associated item
on the same trait `impl` or a child of these associated items.
on the same trait `impl` or a child of these associated items.