diff options
| author | Ralf Jung <post@ralfj.de> | 2023-02-15 10:44:40 +0100 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-02-15 10:44:40 +0100 |
| commit | 1a2908bfaa4e8283b08aa3c29ff41515f247e322 (patch) | |
| tree | ba0769c8b2e29eb20b5f935fba4567c73e4ec0b9 /library/core/src/alloc/global.rs | |
| parent | f407e96b263e5ce71cde4bf93ad1865119ea45ad (diff) | |
| parent | 90f642bb3d74ee0ba8e0faf967748f36ff78d572 (diff) | |
Merge from rustc
Diffstat (limited to 'library/core/src/alloc/global.rs')
| -rw-r--r-- | library/core/src/alloc/global.rs | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/library/core/src/alloc/global.rs b/library/core/src/alloc/global.rs index 1d80b8bf9ec..18da70451f2 100644 --- a/library/core/src/alloc/global.rs +++ b/library/core/src/alloc/global.rs @@ -203,7 +203,7 @@ pub unsafe trait GlobalAlloc { ptr } - /// Shrink or grow a block of memory to the given `new_size`. + /// Shrink or grow a block of memory to the given `new_size` in bytes. /// The block is described by the given `ptr` pointer and `layout`. /// /// If this returns a non-null pointer, then ownership of the memory block @@ -211,10 +211,11 @@ pub unsafe trait GlobalAlloc { /// Any access to the old `ptr` is Undefined Behavior, even if the /// allocation remained in-place. The newly returned pointer is the only valid pointer /// for accessing this memory now. + /// /// The new memory block is allocated with `layout`, - /// but with the `size` updated to `new_size`. This new layout must be - /// used when deallocating the new memory block with `dealloc`. The range - /// `0..min(layout.size(), new_size)` of the new memory block is + /// but with the `size` updated to `new_size` in bytes. + /// This new layout must be used when deallocating the new memory block with `dealloc`. + /// The range `0..min(layout.size(), new_size)` of the new memory block is /// guaranteed to have the same values as the original block. /// /// If this method returns null, then ownership of the memory |
