From 2d8338bea75c14110f7555c743630756f1310a6b Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sat, 20 Jul 2019 22:49:30 +0200 Subject: [PATCH] handle recursion in the heading --- src/what-unsafe-does.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/what-unsafe-does.md b/src/what-unsafe-does.md index 18d99f5..0117051 100644 --- a/src/what-unsafe-does.md +++ b/src/what-unsafe-does.md @@ -21,7 +21,8 @@ language cares about is preventing the following things: `enum`/`struct`/array/slice/tuple field address * Reading [uninitialized memory][] * Breaking the [pointer aliasing rules][] -* Producing invalid primitive values: +* Producing invalid primitive values (either alone or as a field of a compound + type such as `enum`/`struct`/array/tuple): * dangling/null/unaligned references * null `fn` pointers * a `bool` that isn't 0 or 1 @@ -29,7 +30,6 @@ language cares about is preventing the following things: * a `char` outside the ranges [0x0, 0xD7FF] and [0xE000, 0x10FFFF] * a non-utf8 `str` * a `NonNull` or `NonZero*` that is 0 - * a compound type (`enum`/`struct`/array/tuple) with an invalid field * Unwinding into another language * Causing a [data race][race]