We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 9efa9f1 commit 6533cceCopy full SHA for 6533cce
src/existential-types.md
@@ -7,7 +7,7 @@ type.
7
8
In the language they are expressed via
9
10
-```rust
+```
11
existential type Foo: Bar;
12
```
13
@@ -17,7 +17,7 @@ the `Bar` trait's interface.
17
Since there needs to be a concrete background type, you can currently
18
express that type by using the existential type in a "defining use site".
19
20
21
struct Struct;
22
impl Bar for Struct { /* stuff */ }
23
fn foo() -> Foo {
@@ -45,4 +45,4 @@ of existential types to be defining use sites.
45
### Associated existential types
46
47
Associated existential types can be defined by any other associated item
48
-on the same trait `impl` or a child of these associated items.
+on the same trait `impl` or a child of these associated items.
0 commit comments