Skip to content

Commit 79eaa63

Browse files
varkormark-i-m
authored andcommitted
Fix spacing
1 parent 8889dcd commit 79eaa63

File tree

2 files changed

+5
-5
lines changed

2 files changed

+5
-5
lines changed

src/traits-canonicalization.md

+2-2
Original file line numberDiff line numberDiff line change
@@ -163,8 +163,8 @@ QR = {
163163
var_values: [Vec<?E>, '?D, ?E] // this is S
164164
region_constraints: [?E: '?D], // from the impl
165165
value: (), // for our purposes, just (), but
166-
// in some cases this might have
167-
// a type or other info
166+
// in some cases this might have
167+
// a type or other info
168168
}
169169
```
170170

src/variance.md

+3-3
Original file line numberDiff line numberDiff line change
@@ -75,10 +75,10 @@ variance of C must be at most covariant *and* contravariant. All of these
7575
results are based on a variance lattice defined as follows:
7676

7777
```text
78-
* Top (bivariant)
78+
* Top (bivariant)
7979
- +
80-
o Bottom (invariant)
81-
```text
80+
o Bottom (invariant)
81+
```
8282

8383
Based on this lattice, the solution `V(A)=+`, `V(B)=-`, `V(C)=o` is the
8484
optimal solution. Note that there is always a naive solution which

0 commit comments

Comments
 (0)