Skip to content

Commit 96b698f

Browse files
committed
Improve some editorial bits
1 parent a16c846 commit 96b698f

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/behavior-considered-undefined.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -150,11 +150,11 @@ Whether a value is valid depends on the type:
150150
* A reference or [`Box<T>`] must be aligned, it cannot be [dangling], and it must point to a valid value
151151
(in case of dynamically sized types, using the actual dynamic type of the
152152
pointee as determined by the metadata).
153-
Note that the last point (about pointing to a valid value) is still subject of debate.
153+
Note that the last point (about pointing to a valid value) remains a subject of some debate.
154154
* The metadata of a wide reference, [`Box<T>`], or raw pointer must match
155155
the type of the unsized tail:
156156
* `dyn Trait` metadata must be a pointer to a compiler-generated vtable for `Trait`.
157-
(For raw pointers, this requirement is still subject of debate.)
157+
(For raw pointers, this requirement remains a subject of some debate.)
158158
* Slice (`[T]`) metadata must be a valid `usize`.
159159
Furthermore, for wide references and [`Box<T>`], slice metadata is invalid
160160
if it makes the total size of the pointed-to value bigger than `isize::MAX`.

0 commit comments

Comments
 (0)