File tree Expand file tree Collapse file tree 1 file changed +6
-6
lines changed Expand file tree Collapse file tree 1 file changed +6
-6
lines changed Original file line number Diff line number Diff line change @@ -1729,19 +1729,19 @@ call this the lattice of "Ownership Kinds" and each individual value an
17291729
17301730We can graphically represent the lattice via a diagram like the following::
17311731
1732- +----+
1733- +-------- |None| -- ---------+
1734- | +----+ |
1732+ +------ +
1733+ +-------- | None | ---------+
1734+ | +------+ |
17351735 | | |
17361736 v v v ^
17371737 +-------+ +-----+------+ +---------+ |
17381738 | Owned | | Guaranteed | | Unowned | +--- Value Ownership Kinds and
17391739 +-------+ +-----+------+ +---------+ Ownership Constraints
17401740 | | |
17411741 | v | +--- Only Ownership Constraints
1742- | +---+ | |
1743- +--------->| Any|<- ----------+ v
1744- + ---+
1742+ | +-----+ | |
1743+ +-------->| Any |< ----------+ v
1744+ +-- ---+
17451745
17461746One moves down the lattice by performing a "meet" operation::
17471747
You can’t perform that action at this time.
0 commit comments