From 36c5936e11159dedc3ef826ee51b3c7cce8aefc4 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Fri, 13 Oct 2023 07:27:14 +0200 Subject: [PATCH] fix more links --- reference/src/glossary.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/reference/src/glossary.md b/reference/src/glossary.md index 9174c0aa..ab9ebae0 100644 --- a/reference/src/glossary.md +++ b/reference/src/glossary.md @@ -106,10 +106,10 @@ This range can be empty, but even empty allocations have a *base address* that t The base address of an allocation is not necessarily unique; but if two distinct allocations have the same base address then at least one of them must be empty. Pointer arithmetic is generally only possible within an allocation: -[provenance][pointer-provenance] ensures that each pointer "remembers" which allocation it points to, +[provenance][provenance] ensures that each pointer "remembers" which allocation it points to, and accesses are only permitted if the address is in range of the allocation associated with the pointer. -Data inside an allocation is stored as [abstract bytes][abstract-byte]; +Data inside an allocation is stored as [abstract bytes][abstract byte]; in particular, allocations do not track which type the data inside them has. ### Interior mutability