various nits from review

RalfJung · RalfJung · commit b7022e7e7d38 · 2022-07-20T17:12:08.000-04:00
diff --git a/core/src/ptr/metadata.rs b/core/src/ptr/metadata.rs
@@ -185,8 +185,7 @@ extern "C" {
     /// Opaque type for accessing vtables.
     ///
     /// Private implementation detail of `DynMetadata::size_of` etc.
-    /// Must be zero-sized since there is conceptually not actually any Abstract Machine memory behind this pointer.
-    /// However, we can require pointer alignment.
+    /// There is conceptually not actually any Abstract Machine memory behind this pointer.
     type VTable;
 }
 

Original file line number	Diff line number	Diff line change
`@@ -185,8 +185,7 @@ extern "C" {`
`185`	`185`	`/// Opaque type for accessing vtables.`
`186`	`186`	`///`
`187`	`187`	/// Private implementation detail of `DynMetadata::size_of` etc.
`188`		`- /// Must be zero-sized since there is conceptually not actually any Abstract Machine memory behind this pointer.`
`189`		`- /// However, we can require pointer alignment.`
	`188`	`+ /// There is conceptually not actually any Abstract Machine memory behind this pointer.`
`190`	`189`	`type VTable;`
`191`	`190`	`}`
`192`	`191`