Fix spacing
This commit is contained in:
parent
c6b3ce0c96
commit
28ba13db20
|
|
@ -163,8 +163,8 @@ QR = {
|
|||
var_values: [Vec<?E>, '?D, ?E] // this is S
|
||||
region_constraints: [?E: '?D], // from the impl
|
||||
value: (), // for our purposes, just (), but
|
||||
// in some cases this might have
|
||||
// a type or other info
|
||||
// in some cases this might have
|
||||
// a type or other info
|
||||
}
|
||||
```
|
||||
|
||||
|
|
|
|||
|
|
@ -75,10 +75,10 @@ variance of C must be at most covariant *and* contravariant. All of these
|
|||
results are based on a variance lattice defined as follows:
|
||||
|
||||
```text
|
||||
* Top (bivariant)
|
||||
* Top (bivariant)
|
||||
- +
|
||||
o Bottom (invariant)
|
||||
```text
|
||||
o Bottom (invariant)
|
||||
```
|
||||
|
||||
Based on this lattice, the solution `V(A)=+`, `V(B)=-`, `V(C)=o` is the
|
||||
optimal solution. Note that there is always a naive solution which
|
||||
|
|
|
|||
Loading…
Reference in New Issue