diff options
| author | Mark Simulacrum <mark.simulacrum@gmail.com> | 2018-06-01 17:25:14 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-01 17:25:14 -0600 |
| commit | b6013b2ef55191f29c34d42c488fa90e2b7c8ba5 (patch) | |
| tree | 5cb2031647133abb6c90cdf5a69f77324bb95f18 | |
| parent | 361a82ca7b8cc4ddbd8266e3e7a66997e98a4e43 (diff) | |
| parent | 8e90a2d02f4d90409dcd65a8e54b76f1edcba42c (diff) | |
| download | rust-b6013b2ef55191f29c34d42c488fa90e2b7c8ba5.tar.gz rust-b6013b2ef55191f29c34d42c488fa90e2b7c8ba5.zip | |
Rollup merge of #51152 - crlf0710:patch-1, r=kennytm
Replace `if` with `if and only if` in the definition dox of `Sync`
The old text was: "The precise definition is: a type `T` is `Sync` if `&T` is Send."
Since we've also got
```
impl<'a, T> Send for &'a T
where
T: Sync + ?Sized,
```
I purpose we can change the `if` to `if and only if` to make it more precise.
| -rw-r--r-- | src/libcore/marker.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libcore/marker.rs b/src/libcore/marker.rs index 77db165bcbd..3d3f63ecf37 100644 --- a/src/libcore/marker.rs +++ b/src/libcore/marker.rs @@ -294,7 +294,7 @@ pub trait Copy : Clone { /// This trait is automatically implemented when the compiler determines /// it's appropriate. /// -/// The precise definition is: a type `T` is `Sync` if `&T` is +/// The precise definition is: a type `T` is `Sync` if and only if `&T` is /// [`Send`][send]. In other words, if there is no possibility of /// [undefined behavior][ub] (including data races) when passing /// `&T` references between threads. |