From a5ee6252972b059ce14b9a358c75e023bb8b8506 Mon Sep 17 00:00:00 2001 From: Krystian Date: Sat, 28 Oct 2023 21:02:53 +0200 Subject: [PATCH] typo: probably --- src/safe-unsafe-meaning.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/safe-unsafe-meaning.md b/src/safe-unsafe-meaning.md index f7cd68cf..4e3e7479 100644 --- a/src/safe-unsafe-meaning.md +++ b/src/safe-unsafe-meaning.md @@ -141,7 +141,7 @@ against a broken implementation of the trait, then marking the trait `unsafe` is a reasonable choice. As an aside, while `Send` and `Sync` are `unsafe` traits, they are *also* -automatically implemented for types when such derivations are provably safe +automatically implemented for types when such derivations are probably safe to do. `Send` is automatically derived for all types composed only of values whose types also implement `Send`. `Sync` is automatically derived for all types composed only of values whose types also implement `Sync`. This minimizes