From 36f80c3fabfe6c304e5f6ddff369cbbef7f1dbfc Mon Sep 17 00:00:00 2001 From: Connor Horman Date: Mon, 21 Oct 2024 13:08:43 -0400 Subject: [PATCH] Fix "Lines must not end with spaces" error --- src/abi.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/abi.md b/src/abi.md index ac89663f3..85b08c65e 100644 --- a/src/abi.md +++ b/src/abi.md @@ -133,11 +133,11 @@ r[abi.compatibility.zst] Two types, `T` and `U`, are *abi compatible* if both have size 0 and alignment 1. r[abi.compatibility.discriminant] -If `T` is an a type listed in [layout.repr.rust.option.elision], and `U` is the type of the *elision candidate field*, then `T` is layout compatible with `U`. +If `T` is an a type listed in [layout.repr.rust.option.elision], and `U` is the type of the *elision candidate field*, then `T` is layout compatible with `U`. > [!NOTE] > `Option`, `Result`, or `Result` are such types, when `U` are *elision candidate type*s, and `Z` is a 1-ZST type. -> +> > Due to transitivity, two such types are *abi compatible* with each other if their *elision candidate field*s are *abi comaptible* r[abi.compatibility.fn-ptr]