From 378ed259d99a557c1335b1287385b2f11d54b182 Mon Sep 17 00:00:00 2001 From: Aria Beingessner Date: Mon, 28 Mar 2022 13:16:04 -0400 Subject: [PATCH] refine the definition of temporal provenance --- library/core/src/ptr/mod.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/core/src/ptr/mod.rs b/library/core/src/ptr/mod.rs index afa6225a9f7..2c38c9de2a9 100644 --- a/library/core/src/ptr/mod.rs +++ b/library/core/src/ptr/mod.rs @@ -113,7 +113,7 @@ //! to access an allocation's sandbox and has both a *spatial* and *temporal* component: //! //! * Spatial: A range of bytes that the pointer is allowed to access. -//! * Temporal: The allocation that access to these bytes is tied to. +//! * Temporal: The lifetime (of the allocation) that access to these bytes is tied to. //! //! Spatial provenance makes sure you don't go beyond your sandbox, while temporal provenance //! makes sure that you can't "get lucky" after your permission to access some memory