From 8174d61fb3192f14b5cdb10d3b61e69332af74b3 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sun, 3 May 2026 10:15:27 +0200 Subject: [PATCH] avoid using 'place projection' for only some of the projections --- src/behavior-considered-undefined.md | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/behavior-considered-undefined.md b/src/behavior-considered-undefined.md index cd85a03255..80afa674bb 100644 --- a/src/behavior-considered-undefined.md +++ b/src/behavior-considered-undefined.md @@ -28,10 +28,8 @@ r[undefined.pointer-access] a misaligned pointer]. r[undefined.place-projection] -* Performing a place projection that violates the requirements of [in-bounds - pointer arithmetic](pointer#method.offset). A place projection is a [field - expression][project-field], a [tuple index expression][project-tuple], or an - [array/slice index expression][project-slice]. +* Performing an offsetting place projection that violates the requirements of [in-bounds pointer arithmetic](pointer#method.offset). + An offsetting place projection is a [field expression][project-field], a [tuple index expression][project-tuple], or an [array/slice index expression][project-slice]. r[undefined.alias] * Breaking the pointer aliasing rules. The exact aliasing rules are not determined yet, but here is an outline of the general principles: