Skip to content

Commit 1aa06cc

Browse files
authored
Fix footnote syntax
1 parent 5260de8 commit 1aa06cc

File tree

1 file changed

+4
-3
lines changed

1 file changed

+4
-3
lines changed

src/design_notes/dynsized_constraints.md

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -46,9 +46,10 @@ There are three potential resolutions that handle both size and alignment unifor
4646

4747
- Store layout information in the `ArcInner` header, or
4848
- Require that layout be determined solely from pointee metadata, or
49-
- Require that layout be determinable from a dropped pointee.
50-
[^This is trivially the case if determining the layout does not read the pointee (i.e. is derivable by just the potentially wide pointer);
51-
alternatively, the pointee could ensure that layout information (e.g. vtable pointer) remains valid to read even after it's been dropped.]
49+
- Require that layout be determinable from a dropped pointee.[^why]
50+
51+
[^why]: This is trivially the case if determining the layout does not read the pointee (i.e. is derivable by just the potentially wide pointer);
52+
alternatively, the pointee could ensure that layout information (e.g. vtable pointer) remains valid to read even after it's been dropped.]
5253

5354
Dealing with alignment can be simplified by changing `Arc<T>` from storing `*mut ArcInner<T>` to
5455
storing `*mut T` and storing the refcount metadata at a fixed negative offset independent of `T`.

0 commit comments

Comments
 (0)