From dc7e7f98c10dee6ffec274e6ed89981ded45481d Mon Sep 17 00:00:00 2001 From: Kyle Lin Date: Sun, 26 May 2019 16:39:32 -0700 Subject: [PATCH] Fix "probably" typo --- 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 e231384..5c5853b 100644 --- a/src/safe-unsafe-meaning.md +++ b/src/safe-unsafe-meaning.md @@ -138,7 +138,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